next up previous contents
Next: Environment Display Commands Up: Appendix: Reference for Individual Previous: Theory Loading and Saving

Environment Starting and other Modification Commands

start
``start term'' sets both sides of current equation to ``term'' and dependencies to null. It backs up the previous environment onto the desktop and sets the ``current theorem'' environnment variable to the null string (walk command ``s'').

startfor
``startfor thm term'' acts as ``start'', except that it sets the ``current theorem'' variable to ``thm''.

starthere
``starthere'' backs up the environment, then sets both sides of the current equation to the current whole term and dependencies to null.

startover
``startover'' backs up the environment, wipes dependencies, and sets both sides of the current equation to its left side (usually the term one started with). (walk command ``B'').

workback
``workback'' interchanges the left and right sides of the current equation (so one will be looking at the original term entered) (walk command ``b'').

getleftside
see editing commands

getrightside
see editing commands

autoedit
see editing commands



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