Book Documentation

[Jared C. Davis]

Hi,

This is something of a work in progress, but FWIW, here's a combined
manual for ACL2 itself and the libraries that have documentation.

http://www.cs.utexas.edu/users/jared/acl2-book-doc/

If you have internal libraries at your organization that are
documented with acl2 doc-strings or the new xdoc system, it should be
fairly easy to generate a similar manual. Basically, load whatever
books you want, then run xdoc::save to generate a manual.

Cheers,
Jared

--
Jared C. Davis <ja...@cs.utexas.edu>
11410 Windermere Meadows
Austin, TX 78759
http://www.cs.utexas.edu/users/jared/