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 ``(type :more for more, :more! for the rest)''. 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.