RELEASE-NOTES

pointers to what has changed
Major Section:  ACL2 Documentation

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*.