NOTE-2-9(R)

ACL2 Version 2.9(r) (October, 2004) Notes 
Major Section:  RELEASE-NOTES

No changes have been made for support of non-standard analysis, other than a minor modification or two in books/nonstd/ books.

Please also see note-2-9 for changes to Version_2.9 of ACL2.