next up previous contents
Next: ML Functions for ML Up: Reference Material for Tutorial Previous: Term Editor

Proof Editor


 

 

Table 2: Commands for Proof Editor
\framebox {\rule[-.2ex]{0em}{1.5ex}\sc mouse-left} Jump to this window
\framebox {\rule[-.2ex]{0em}{1.5ex}\sc mouse-middle} Move proof window into indicated goal / subgoal
\framebox {\rule[-.2ex]{0em}{1.5ex}\sc mouse-right} Select main goal, rule or subgoal for viewing / editing
$\langle$C-T$\rangle$ Open tranformation tactic window.
$\langle$C-Z$\rangle$ Exit Proof.
$\langle$C-F$\rangle$ Move down within window
$\langle$C-B$\rangle$ Move up within window

Proof editor commands are summarized in Table 2.


Dora Abdullah, 12/4/97