NOTE-3-6(R)

ACL2 Version 3.6(r) (August, 2009) Notes
Major Section:  RELEASE-NOTES

Please also see note-3-6 for changes in Version 3.6 of ACL2.