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
(cont'd)''. If you then type simply
:more! you will see all of
the details, while if you type
more you will be fed the next block