MOVE* : MEXPR

MOVE* is a top-level command.
Move all proof lines in given range to begin at new start
number, but preserving the relative distances between the lines.
The command format for MOVE* is:

 <n>MOVE* RANGE-TO-MOVE NEW-START 
"LINE-RANGE" "LINE"


The arguments have the following meaning:
RANGE-TO-MOVE : range to move
NEW-START : new start of range

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage