MODIFY-BESTMODE : LIBRARYCMD

MODIFY-BESTMODE is a library command.
Edit an existing entry in the bestmodes.rec file.
Attempting to modify a read-only mode (i.e. one in another user's
directory) will create a modified copy in your own directory.
 
The command format for MODIFY-BESTMODE is:

<LIB>MODIFY-BESTMODE THEOREM
"SYMBOL"

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage