XTR : EDOP

XTR is an editor command.
Makes the current edwff the top wff.
 
The command format for XTR is:

<Ed>XTR

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage