Next: Environment Desktop Commands
Up: Appendix: Reference for Individual
Previous: Tactic Language Interpreter
- 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.
- Erases all theories on the desktop.
- ``droptheory theory'' drops theory ``theory'' from
- ``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.
- Saves current theory on desktop.
Fri Sep 5 16:28:58 MDT 1997