This stub page replaces the home page for ACL2 Version 3.0. The original website for that version of ACL2 is stored as a collection of gzipped files, here:
http://www.cs.utexas.edu/users/moore/acl2/older-releases/v3-0/
In particular,
the distrib/
directory contains the ACL2 source tarball for Version 3.0,
at acl2.tar.gz
.
The file index.html
originally in that directory has
been removed. It was a soft link pointing to
file acl2-doc.html
.
A directory
of files for the incremental release, Version 3.0.1, contains
the ACL2 source
tarball acl2.tar.gz
for that release.