Jared Davis has sent the following email to the ACL2 mailing list, which
contains a link to a pre-built ACL2 distribution for Windows.
Date: Fri, 22 Apr 2005 08:20:41 -0500 (CDT)
From: "Jared C. Davis" <jared@cs.utexas.edu>
To: acl2@lists.cc.utexas.edu
Subject: ACL2 2.9.2 for Windows
Hi,
I've updated the Windows installer with GCL 2.6.6 and ACL2 2.9.2. For
those who are interested, you can download the installer from here:
http://www.cs.utexas.edu/users/jared/acl2/
It's a large download (75 MB), and includes:
A basic unix environment, with gcc, make, grep, sh, etc
ACL2 2.9.2 running on GCL 2.6.6
(optional) ACL2 sources and documentation
(optional) Pre-certified standard and workshop books
(optional) GNU Emacs 21.3
(optional) ACL2r for nonstandard analysis
Please let me know if you run into any problems with it. I've tested it
out on Windows 2000, but it should work with pretty much any version of
Windows.
Jared
--
Jared Davis <jared@cs.utexas.edu>
http://www.cs.utexas.edu/users/jared/
1003 Justin Ln #1008 - Austin, TX 78757
(512) 374-9474