ACL2 Version 3.6.1

Incremental release 3.6.1 of ACL2 is available. It fixes a soundness bug in ruler-extenders, so we recommend that you update to this new version if you use that feature, or if you have not yet updated to Version 3.6.

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

DOWNLOADS

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.