ACL2 Releases
The current ACL2 release on the ACL2 home page
is Version 8.4 (August, 2021).
- Version 8.3 (April, 2020)
- Version 8.2 (May, 2019)
- Version 8.1 (September, 2018)
- Version 8.0 (December, 2017)
- Version 7.4 (March, 2017)
- Version 7.3 (December, 2016)
- Version 7.2 (January, 2016)
- Version 7.1 (May, 2015)
- Version 7.0 (January, 2015)
- Version 6.5 (August, 2014)
- Version 6.4 (January, 2014)
- Version 6.3 (October, 2013)
- Version 6.2 (June, 2013)
- Version 6.1 (February, 2013)
- Version 6.0 (December, 2012)
- Version 5.0 (August, 2012)
- Version 4.3 (July, 2011)
- Version 4.2 (January, 2011)
- Version 4.1 (September, 2010)
- Version 4.0 (July, 2010)
- Version 3.6.1 (September, 2009)
- 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)
Note: The ACL2 Home Pages for versions between 5.0 and 7.0,
listed above, did not directly include the Community Books, which were
distributed separately. You may find the books for those versions
at http://acl2.org/books-pre-7.0/.