PL* : MEXPR

PL* is a top-level command.
Print all proof lines in given ranges.
The command format for PL* is:

 <n>PL*    PRINT-RANGES 
"LINE-RANGE-LIST"


The arguments have the following meaning:
PRINT-RANGES : ranges to print

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage