ACL2 Releases
The current ACL2 non-incremental release on the ACL2 home page
is Version 2.9 (October, 2004).
This page contains:
- 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)