Browsing the ACL2+Books documentation in Emacs with ACL2-Doc Matt Kaufmann ============================== Before starting: Make sure I'm in the combined manual. Then: (acl2-doc-reset nil) ============================== Control-t g h Cheat sheet: pasted command summary into new buffer "help"; illustrates handiness of cut-and-paste [Like emacs info] u u u l l l r t H [on documentation] * to [hints] to [custom-keyword-hints] l [go back] [move to generalize] -- so, don't need [...] g [rewr] [to rewrite-theory] s hidden-def S restrict.*hint i certifi [cycle through with ,] i [search for "cert"] ============================== meta-0 I Now in ACL2 User's Manual w s ACL2_SYSTEM_BOOKS g note-6-5 note-6-5-books -- broken link! l -- go back ============================== control-t . book [completion] control-t . defthm Please contribute documentation! The community owns books/system/doc/acl2-doc.lisp (not the system, of course, but the documentation).