Quoting a comment in (defxdoc note-6-5 ...), file
books/system/doc/acl2-doc.lisp:

; Fixed error message for illegal :exit form of trace$, which had complained
; about :entry instead of :exit.  Thanks to David Rager for bringing this error
; to our attention.

Tweaked documentation based in part on feedback from Harsh Raju
Chamarthi (on :doc world) and David Rager (on :doc trace!).


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