NOTE-3-0-1(R)

ACL2 Version 3.0.1(r) (August, 2006) Notes
Major Section:  RELEASE-NOTES

No significant changes have been made since Version 3.0 for support of non-standard analysis in particular.

Please also see note-3-0-1 for changes to Version 3.0.1 of ACL2.