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
:doc or :more-doc.
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
by ``(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
of details.