BUG-RESTORE : MEXPR

BUG-RESTORE is a top-level command.
Restore a bug from the library (see USE-DEFAULT-BUG-DIR).
This must have been a bug which was saved with BUG-SAVE;
this command will reload all the necessary library objects,
reset all the flags and reload the proof.
This does NOT create a new mode; it just resets the flags.
The command format for BUG-RESTORE is:

 <n>BUG-RESTORE   NAME 
"SYMBOL"


The arguments have the following meaning:
NAME : Name of bug

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage