LEAVE : EDOP

LEAVE is an editor command.
Exit the editor with all the changes in place.
 
The command format for LEAVE is:

<Ed>LEAVE

TPS documentation homepage


LEAVE : GEXPR

LEAVE is a Grader Command.
Leave GRADING PACKAGE to the next enclosing top level.
The command format for LEAVE is:

 <Gn>LEAVE 

TPS documentation homepage


LEAVE : LIBRARYCMD

LEAVE is a library command.
Leave LIBRARY to the next enclosing top level.
 
The command format for LEAVE is:

<LIB>LEAVE

TPS documentation homepage


LEAVE : MATEOP

LEAVE is a mating-search command.
Exit mating-search. If the current expansion proof is
complete, the user will be prompted as to whether to apply MERGE-TREE
before exiting.
 
The command format for LEAVE is:

<Mate>LEAVE

TPS documentation homepage


LEAVE : MTREEOP

LEAVE is a matingstree command.
leaving the mtree top level.
 
The command format for LEAVE is:

<Mtree>LEAVE

TPS documentation homepage


LEAVE : REVIEWCMD

LEAVE is a review command.
Leave REVIEW to the next enclosing top level.
The command format for LEAVE is:

 <Rn>LEAVE 

TPS documentation homepage


LEAVE : TESTCMD

LEAVE is a test-top command.
Leave TEST-TOP to the next enclosing top level.
 
The command format for LEAVE is:

<TEST>LEAVE

TPS documentation homepage


LEAVE : UNIFOP

LEAVE is an unification command.
Exit unification.
 
The command format for LEAVE is:

<Unif>LEAVE

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage