Major Section: DOCUMENTATION
NOTE: The command
:more! only makes sense at the terminal.
Example: ACL2 !>:more!will print all of the remaining documentation started by the last
See more for some background. Typing
:more! will print all
remaining blocks of documentation.
:More! is like
more except that it prints all the text at once.
For example, if you type
doc name you will see some text followed
(type :more for more, :more! for the rest)''. If you then type
:more! you will see all of the details, while if you type
more you will be fed the next block of details.