ACL2 Releases

This page contains:

• Incremental releases since the latest non-incremental release

• Past releases

Incremental releases since the latest non-incremental release (i.e., latest among the "Past releases" below):

• Version 3.0.1 (August, 2006)

Past releases:

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