These are the commands for the rules window. Many of them are the same as for the main proof window.
Start a new proof. A new window is opened for this proof.
Open an existing proof in a new window.
Submits all open proofs for grading. There is more on this in the Submission session in this manual See Submission.
Change the font size to small (8pt).
Change the font size to medium (12pt).
Change the font size to large (16pt).
Change the font size to a custom size. This menu option opens a dialog box with a numerical entry.
Display Aris help. This is the only key command that cannot be modified.
Opens the customization dialog. For more information on this, see See Customization.
Displays information about GNU Aris.