Summary of ACL2-doc commands
See ACL2-doc for information about the custom Emacs browser
for viewing ACL2 documentation. In the present topic we list the
commands with extremely abbreviation documentation: only a single line for
each. For even briefer summaries, you can use the standard Emacs command,
<Return> acl2-doc-go! Go to the topic occurring at the cursor position. g acl2-doc-go Go to the specified topic; performs completion. h acl2-doc-help Go to the ACL2-Doc topic to read about how to use the ACL2-Doc browser. ? acl2-doc-summary Go to the ACL2-Doc-summary topic for one-line summaries of commands. i acl2-doc-index Go to the specified topic or else one containing it as a substring. , acl2-doc-index-next Continue to the next topic for the most recent i command. < acl2-doc-index-previous Return to the preceding topic for the most recent i command. l acl2-doc-last Go to the last topic visited. n acl2-doc-search-next Find the next occurrence for the most recent search. p acl2-doc-search-previous Find the previous occurrence for the most recent search. q acl2-doc-quit Quit the ACL2-Doc browser. r acl2-doc-return Return to the last topic visited, popping the stack of such topics. s acl2-doc-search Search for the input string (with prefix arg: under a given topic). S acl2-doc-re-search Regular-expression search (with prefix arg: under a given topic). t acl2-doc-top Go to the top topic. u acl2-doc-up Go to the parent of the current topic. w acl2-doc-where Display the topic and manual name in the minibuffer. SPC scroll-up Scroll up (same as Control-v) TAB acl2-doc-tab Visit the next link on the current page. <backtab> (which often is Shift-TAB): acl2-doc-tab-back Visit the previous link on the current page. D Download the manual from the web; then restart ACL2-Doc. H acl2-doc-history Visit the History buffer, with names of all visited topics in order. I acl2-doc-initialize Restart ACL2-Doc. With a prefix argument, choose which manual. / acl2-doc-definition Find an ACL2 definition (in analogy to built-in Emacs command meta-.). W acl2-doc-where-definition Find an ACL2 definition, with default from current page's topic.