Quoting a comment in (deflabel note-6-4 ...):

; Improved an error message produced in cases that could be due to a missing
; stobj declaration or formal parameter.  Below is a test suite, where the
; first four forms come from Jared Davis, who suggested making such an
; improvement.

(I'm omitting the test suite in this commit message.)  The plan is for
such comments to make their way to books/system/doc/acl2-doc.lisp, but
for now I'm putting them in ld.lisp but putting actual doc strings in
books/system/doc/acl2-doc.lisp.


git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1161 5d84a466-a78b-0930-a311-59b22171a541

Quoting a comment in (deflabel note-6-4 ...):

; Slightly improved error message for illegal rewrite rules, following feedback
; from David Rager.

The plan is for such comments to make their way to
books/system/doc/acl2-doc.lisp, but for now I'm putting them in
ld.lisp but putting actual doc strings in
books/system/doc/acl2-doc.lisp.

Also, incorporated into doc.lisp improvements for documentation on
topics about LD specials, just committed to acl2-books.


git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1162 5d84a466-a78b-0930-a311-59b22171a541