RELEASE-NOTES
pointers to what has changed
Major Section: ACL2 Documentation
NOTE-2-0 -- ACL2 Version 2.0 (July, 1997) Notes
NOTE-2-1 -- ACL2 Version 2.1 (December, 1997) Notes
NOTE-2-2 -- ACL2 Version 2.2 (August, 1998) Notes
NOTE-2-3 -- ACL2 Version 2.3 (October, 1998) Notes
NOTE-2-4 -- ACL2 Version 2.4 (August, 1999) Notes
NOTE-2-5 -- ACL2 Version 2.5 (June, 2000) Notes
NOTE-2-5(R) -- ACL2 Version 2.5(r) (June, 2000) Notes
NOTE-2-6 -- ACL2 Version 2.6 (November, 2001) Notes
NOTE-2-6(R) -- ACL2 Version 2.6(r) (November, 2001) Notes
NOTE-2-7 -- ACL2 Version 2.7 (November, 2002) Notes
NOTE-2-7(R) -- ACL2 Version 2.7(r) (November, 2002) Notes
NOTE-2-8 -- ACL2 Version 2.8 (March, 2004) Notes
NOTE-2-8(R) -- ACL2 Version 2.8(r) (March, 2003) Notes
NOTE-2-9 -- ACL2 Version 2.9 (October, 2004) Notes
NOTE-2-9(R) -- ACL2 Version 2.9(r) (October, 2004) Notes
NOTE-2-9-1 -- ACL2 Version 2.9.1 (December, 2004) Notes
NOTE-2-9-2 -- ACL2 Version 2.9.2 (April, 2005) Notes
NOTE-2-9-3 -- ACL2 Version 2.9.3 (August, 2005) Notes
NOTE-2-9-4 -- ACL2 Version 2.9.4 (February, 2006) Notes
NOTE-2-9-5 -- Changes in Version 3.0 since Version 2.9.4
NOTE-3-0 -- ACL2 Version 3.0 (June, 2006) Notes
NOTE-3-0(R) -- ACL2 Version 3.0(r) (June, 2006) Notes
NOTE-3-0-1 -- ACL2 Version 3.0.1 (August, 2006) Notes
NOTE-3-0-1(R) -- ACL2 Version 3.0.1(r) (August, 2006) Notes
NOTE-3-0-2 -- ACL2 Version 3.0.2 (December, 2006) Notes
NOTE-3-1 -- ACL2 Version 3.1 (December, 2006) Notes
NOTE-3-1(R) -- ACL2 Version 3.1(r) (December, 2006) Notes
NOTE1 -- Acl2 Version 1.1 Notes
NOTE2 -- Acl2 Version 1.2 Notes
NOTE3 -- Acl2 Version 1.3 Notes
NOTE4 -- Acl2 Version 1.4 Notes
NOTE5 -- Acl2 Version 1.5 Notes
NOTE6 -- Acl2 Version 1.6 Notes
NOTE7 -- ACL2 Version 1.7 (released October 1994) Notes
NOTE8 -- ACL2 Version 1.8 (May, 1995) Notes
NOTE8-UPDATE -- ACL2 Version 1.8 (Summer, 1995) Notes
NOTE9 -- ACL2 Version 1.9 (Fall, 1996) Notes
This section of the online documentation contains notes on the
changes that distinguish successive released versions of ACL2.
The current version of ACL2 is the value of the constant
(@ acl2-version).
