centaur/gl/solutions.lisp:

  Restored final event for GCL (it had recently been excluded for GCL,
  but GCL 2.6.10 does fine with it).

system/doc/acl2-doc.lisp:

  Improved :doc clause-processor based on feedback from J Moore.

  Improved :doc defabsstobj based on feedback from Cuong Kim Chau.

  Improved :doc force based on feedback from David Rager.

  Added <h3> tags to :doc note-6-4.

  Quoting :doc note-6-4:

    (CCL only) A CCL bug was treating filenames of the form "~/user/..."
    as "~/...". Thanks to Gary Byers for sending us a CCL-specific form
    that is now included in the ACL2 sources, which avoids this
    problem.



git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2269 303c5b2c-9740-0410-b014-fd8f9db7be32
Added books from J Moore.

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2270 303c5b2c-9740-0410-b014-fd8f9db7be32