CHANGE-PROVABILITY : LIBRARYCMD

CHANGE-PROVABILITY is a library command.
Change the PROVABILITY attribute of a stored gwff.

If more than one library object of this name is stored in
the library and SHOW-ALL-LIBOBJECTS is set to T,
the user is prompted to disambiguate.
 
The command format for CHANGE-PROVABILITY is:

<LIB>CHANGE-PROVABILITY NAME
"SYMBOL"

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage