APPEND-WFF : MEXPR

APPEND-WFF is a top-level command.
Append a definition of a weak label to a file. If the file does
not yet exist, it will be created. You may wish to use LIB instead.
The command format for APPEND-WFF is:

 <n>APPEND-WFF  WEAK-LABEL HELP-STRING  FILENAME 
"WEAK-LABEL" "STRING" "FILESPEC"


The arguments have the following meaning:
WEAK-LABEL : Weak Label to Write
HELP-STRING : Help for Weak Label
FILENAME : File to Append to

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage