RELEASE-NOTES

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

• 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

The current version of ACL2 is the value of the constant *acl2-version*.