Pcb
Print the command block described by a command descriptor
Examples:
:pcb :max ; print the most recent command block
:pcb :x ; print the most recent command block
:pcb fn ; print the command block that introduced fn
:pcb 5 ; print the fifth command block
See command-descriptor.
Pcb takes one argument, a command-descriptor, and prints in an
abbreviated format the command block of the command described. See
pc for description of the format in which commands are
displayed. The command block of a command consists of the command itself and
all of the events it created. If the command created a single event
and that event is in fact the command (i.e., if the command typed was just an
event such as a defun or defthm rather than a macro that
expanded to some event forms), then pcb just prints the command (unless
the event is replaced using extend-pe-table). Pcb sketches the
command and all of the events it created, rather than printing them
fully. If you wish to see just the command, in its entirety, use pc.
If you wish to see one of the events within the block, in its entirety,
use pe. If you wish to see the command sketched and all of the events
it created, in their entirety, use pcb!. For a sequence of commands,
see pcs and gcs.
