RELEASE-NOTES

Major Section:  ACL2 Documentation

Some Related Topics

• 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

• NOTE-3-2 -- ACL2 Version 3.2 (April, 2007) Notes

• NOTE-3-2(R) -- ACL2 Version 3.2(r) (April, 2007) Notes

• NOTE-3-2-1 -- ACL2 Version 3.2.1 (June, 2007) Notes

• NOTE-3-2-1(R) -- ACL2 Version 3.2.1(r) (June, 2007) Notes

• NOTE-3-3 -- ACL2 Version 3.3 (November, 2007) Notes

• NOTE-3-3(R) -- ACL2 Version 3.3(r) (xxx, 20xx) Notes

• NOTE-3-4 -- ACL2 Version 3.4 (August, 2008) Notes

• NOTE-3-4(R) -- ACL2 Version 3.4(r) (August, 2008) Notes

• NOTE-3-5 -- ACL2 Version 3.5 (May, 2009) Notes

• NOTE-3-5(R) -- ACL2 Version 3.5(r) (May, 2009) Notes

• NOTE-3-6 -- ACL2 Version 3.6 (August, 2009) Notes

• NOTE-3-6(R) -- ACL2 Version 3.6(r) (August, 2009) Notes

• NOTE-3-6-1 -- ACL2 Version 3.6.1 (September, 2009) Notes

• NOTE-3-7 -- ACL2 Version 3.7 (xxx, xxxx) Notes

• NOTE-3-7(R) -- ACL2 Version 3.7(r) (xxx, xxxx) 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).