		Search-engine friendly clone of the ACL2 documentation.

History

Pcb!

Print in full 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 the command block of the command described. Unlike pcb, pcb! prints the event forms in full (see pcb for details) — unless the ld-evisc-tuple is non-nil, in which case it abbreviates using that evisc-tuple; see evisc-tuple.