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