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.


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!

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