Major Section: RELEASE-NOTES
No significant changes have been made since Version 2.9 for support of non-standard analysis in particular.
Please also see note-3-0 for changes to Version 3.0 of ACL2.
