ACL2 Version 2.9.2 Windows Installer

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" <>
Subject: ACL2 2.9.2 for Windows


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:

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 



Jared Davis <>
1003 Justin Ln #1008 - Austin, TX 78757
(512) 374-9474