		Search-engine friendly clone of the ACL2 documentation.

History

Pcs

Print the sequence of commands between two command descriptors

Examples:
:pcs 1 5              ; print commands 1 through 5
:pcs 5 1              ; same as above
:pcs :x (:x -3)       ; print the 3 most recently executed commands
:pcs fn assoc-of-fn   ; print the commands between the one that introduced
                      ; fn and the one that introduced assoc-of-fn

Pcs takes two arguments, both of which are command descriptors, and prints the commands between them with pc. The order of the two descriptors is irrelevant. See command-descriptor for a description of command descriptors. See pc for a description of the format in which commands are displayed.

For a related utility that simply returns a sequence of commands, see get-command-sequence.