ACL2 Version 3.2.1

Incremental release 3.2.1 of ACL2 is available, as described in an announcement already sent to the acl2 mailing list by email.

We have put on the web the home page, documentation, and release notes.

DOWNLOADS

acl2.tar.gz: ACL2 3.2.1 gzipped tarball
acl2-tar-gz-md5sum: corresponding md5sum file

Also available, but optional, are these corresponding extra books, which can be placed in books/ and extracted. You will not be able to use previous versions of these books with a new incremental release, so if you want to use these books, be sure to fetch the tarballs!

workshops.tar.gz: Workshops tarball
workshops-tar-gz-md5sum: corresponding md5sum file
nonstd.tar.gz: ACL2(r) books tarball
nonstd-tar-gz-md5sum: corresponding md5sum file

Finally, you may choose to download some executable images that we have made available.