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) (November, 2007) 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-4-0 -- ACL2 Version 4.0 (July, 2010) Notes

• NOTE-4-0(R) -- ACL2 Version 4.0(r) (July, 2010) Notes

• NOTE-4-1 -- ACL2 Version 4.1 (September, 2010) Notes

• NOTE-4-1(R) -- ACL2 Version 4.1(r) (September, 2010) Notes

• NOTE-4-2 -- ACL2 Version 4.2 (January, 2011) Notes

• NOTE-4-2(R) -- ACL2 Version 4.2(r) (January, 2011) Notes

• NOTE-4-3 -- ACL2 Version 4.3 (July, 2011) Notes

• NOTE-4-3(R) -- ACL2 Version 4.3(r) (July, 2011) Notes

• NOTE-5-0 -- ACL2 Version 5.0 (August, 2012) Notes

• NOTE-6-0 -- ACL2 Version 6.0 (December, 2012) Notes

• NOTE-6-1 -- ACL2 Version 6.1 (February, 2013) Notes

• NOTE-6-2 -- ACL2 Version 6.2 (June, 2013) Notes

• NOTE-6-3 -- ACL2 Version 6.3 (October, 2013) 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).