Emacs support for ACL2
Many successful users of ACL2 take advantage of the Emacs editor,
for example by running ACL2 in an Emacs shell buffer. If you do so, then you
may wish to load the distributed file
(load "DIR/books/emacs/emacs-acl2.el") ; for recent Emacs versions
(load "DIR/emacs/emacs-acl2.el") ; for Emacs 24
The file begins with considerable comments describing what it offers.
In particular, the above file provides the ACL2-Doc browser, a convenient tool for viewing, in Emacs, documentation for both the ACL2 system and the documented community books, as well as custom manuals. See ACL2-Doc.
If you are not comfortable with Emacs, you may prefer to use an Eclipse-based interface; see ACL2-sedan.