ACL2 Releases

The current ACL2 non-incremental release on the ACL2 home page is Version 3.6 (August, 2009).

This page contains:


Incremental releases since Version 3.6:

None.

Past releases: