INSTALL : EDOP

INSTALL is an editor command.
Instantiate all definitions, except the ones specified
in the second argument.
 
The command format for INSTALL is:

<Ed>INSTALL <<INWFF>> EXCEPTIONS
<<GWFF>> "SYMBOLLIST"


The result replaces the current wff.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage