DESTROY : LIBRARYCMD

DESTROY is a library command.
Remove a library object from TPS (the object will remain
stored in the library).
 
The command format for DESTROY is:

<LIB>DESTROY NAME
"SYMBOL"

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage