NOTE-3-3(R)

ACL2 Version 3.3(r) (November, 2007) Notes
Major Section:  RELEASE-NOTES

Please also see note-3-3 for changes to Version 3.3 of ACL2.