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:


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

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage