another response to ``(type :more for more, :more! for the rest)''

NOTE: The command :more! only makes sense at the terminal.

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.