PCS.html -- ACL2 Version 6.3

## PCS

print the sequence of commands between two command descriptors

    Major Section:  HISTORY

    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.