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.