next up previous contents
Next: View Management Commands Up: Appendix: Reference for Individual Previous: Theory Desktop Commands

Environment Desktop Commands

getenv
``getenv env'' allows one to get the environment (equation under construction in the current theory) called ``env''. The current environment is saved unless it is called ``env'' itself.

saveenv
``saveenv env'' allows one to save the current equation as ``env''.

backupenv
Saves the current environment using the ``current theory'' environment variable as name; if the current theory is null, calls it ``backup''.

dropenv
``dropenv env'' erases environment called ``env''.

clearenvs
Erases all environments on the desktop.

loadsavedenvs
Loads save environments in the theory onto the desktop; one must hit return for each theory. One can use this in combination with clearenvs to unclutter theory files.

scanenvs
Allows one to scan the environments on the desktop (in the current theory). Type ``h'' after typing any ``scan'' command to see the local commands to move from item to item or to quit.



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