NOTE-2-5(R)

ACL2 Version 2.5(r) (June, 2000) Notes
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.