ACL2 Releases

The current ACL2 release on the ACL2 home page is Version 7.2 (January, 2016).

This page contains:

• Incremental releases since Version 7.2 (if any)

• Past releases

---

Incremental releases since Version 7.2:

None

Past releases:

• 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)

---