UNDO : EDOP

UNDO is an editor command.
Moves up (like 0), but throws away any editing since your last
downward moving command (typically A,D,L,or R.
 
The command format for UNDO is:

<Ed>UNDO


The result replaces the current wff.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage