Major Section: HISTORY
:pr! fn ; prints the rules from the definition of fn (including any ; :type-prescription rule and :definition rule), as well as all other ; rules created by the command that created by fn (which could be ; many rules if, for example, fn was defined by an include-book ; command).
:pr! :max ; prints all the rules stored by the most recent command
Also see pr, which is similar but works at the event level instead of at the command level.
Pr takes one argument, a command descriptor, and prints the rules
created by the corresponding event. In each case it prints the
rune, the current enabled/disabled status, and other appropriate
fields from the rule. See pr for further details.