Quoting comments in (defxdoc note-6-5 ...):

; Improved error message for bad calls of with-local-stobj, especially when the
; indicated creator function (whether or not provided explicitly) is wrong.
; Thanks to Jared Davis for bringing this issue to our attention.

; Added new :doc topic, type-alist, and added links to it.  Thanks to David
; Rager fof discussions leading to this addition.

Quoting :doc note-6-5:

  The keyword commands :exit and :quit are disabled inside [brr], in
  order to avoid accidental exits from ACL2. Thanks to David Rager
  for suggesting such a change.

Also, made other updates to doc.lisp based on updates to
books/system/doc/acl2-doc.lisp.

Added comments to emacs/emacs-acl2.el showing hotkeys for
starting/stopping dmr and starting ACL2-Doc.  Thanks to David Rager
for feedback leading to these new comments.


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