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:
directory contains the ACL2 source tarball for Version 3.0,
index.html originally in that directory has
been removed. It was a soft link pointing to
of files for the incremental release, Version 3.0.1, contains
the ACL2 source
for that release.