Major Section: RELEASE-NOTES
Important changes to non-standard version:
Please see note-2-5 for changes to Version 2.5 of ACL2. We hope to write more documentation for ACL2(r) in the future.
