next up previous contents
Next: Environment Desktop Commands Up: Appendix: Reference for Individual Previous: Tactic Language Interpreter

Theory Desktop Commands

scantheories
Allows one to scan the theories on the desktop; hit ``h'' in any ``scan'' command to see the local commands to move from item to item or to quit.

cleartheories
Erases all theories on the desktop.

droptheory
``droptheory theory'' drops theory ``theory'' from the desktop.

gettheory
``gettheory theory'' loads the theory ``theory'' from the desktop (resetting the ``current theory'' environment variable). It automatically backs up the current theory unless the current theory is the one being loaded.

backuptheory
Saves current theory on desktop.



Randall Holmes
Fri Sep 5 16:28:58 MDT 1997