DELETE* : MEXPR

DELETE* is a top-level command.
Delete ranges of lines from the proof outline.
The command format for DELETE* is:

 <n>DELETE*       RANGES 
"LINE-RANGE-LIST"


The arguments have the following meaning:
RANGES : ranges to delete

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage