ACL2 Releases
The current ACL2 non-incremental release on the ACL2 home page
is Version 3.6 (August, 2009). But we strongly recommend that
instead of Version 3.6, you install the latest release,
Version
3.6.1 (September, 2009).
This page contains:
Incremental releases since Version 3.6 (if any)
Past releases
- Version 3.6 (August, 2009)
- Version 3.5 (May, 2009)
- 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)