PBT.html -- ACL2 Version 6.3

## PBT

print the commands back through a command descriptor

    Major Section:  HISTORY

    Examples:
    :pbt :max      ; print back through the most recent command
    :pbt :x        ; print back through the most recent command
    :pbt fn        ; print back through the introduction of fn
    :pbt 5         ; print back through the fifth command executed
    :pbt (:x -4)   ; print back through the most recent five commands

See command-descriptor.

`Pbt` takes one argument, a command descriptor, and prints the commands from `:max` (aka `:x`) through the one described. See command-descriptor for a description of what a command descriptor is. See pc for a description of the format used to display commands. `Pbt` will print the commands that `ubt` will undo.