ACL2 Releases
The current ACL2 non-incremental release on the ACL2 home page
is Version 3.5 (May, 2009).
This page contains:
Incremental releases since Version 3.5 (if any)
Past releases
None.
- Version 3.4 (August, 2008)
- Version 3.3 (November, 2007)
- Version 3.2.1 (June, 2007)
- Version 3.2 (April, 2007)
- Version 3.1 (December, 2006)
- Version 3.0.1 (August, 2006)
- Version 3.0 (June, 2006)
- Version 2.9.4 (January, 2006)
- Version 2.9.3 (August, 2005)
- Version 2.9.2 (April, 2005)
- Version 2.9.1 (December, 2004)
- Version 2.9 (October, 2004)
- Version 2.8 (March, 2004)
- Version 2.7 (November, 2002)
- Version 2.6 (November, 2001)
- Version 2.5 (June, 2000)
- Version 2.4 (August, 1999)
- Version 2.3 (October, 1998)
- Version 2.2 (August, 1998)
- Version 2.1 (December, 1997)
- Version 2.0 (July, 1997)
- Version 1.9 (Fall, 1996)