NOTE-2-6(R)

ACL2 Version 2.6(r) (November, 2001) Notes
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.