NEW-DEFS : EDOP

NEW-DEFS is an editor command.
Lists all the definitions used in a gwff that are
either library abbreviations or weak labels.
 
The command format for NEW-DEFS is:

<Ed>NEW-DEFS <<GWFF>>
<<GWFF>>

TPS documentation homepage


NEW-DEFS : WFFOP

NEW-DEFS is a wff operation.
Lists all the definitions used in a gwff that are
either library abbreviations or weak labels.
 
The calling scheme for NEW-DEFS is:

(NEW-DEFS <<GWFF>>)
<<GWFF>>


The result is of type SYMBOLLIST.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage