ACL2 Releases

The current ACL2 release on the ACL2 home page is Version 8.5 (July, 2022).

Past releases:

Note: Some older versions of the manuals have been made unreadable to avoid potential security issues.

• 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/.