Next: , Previous: , Up: Menu Options   [Contents]


5.2 Rules Table

These are the commands for the rules window. Many of them are the same as for the main proof window.

New
Ctrl+N

Start a new proof. A new window is opened for this proof.

Open
CTRL+O

Open an existing proof in a new window.

Submit Proofs...

Submits all open proofs for grading. There is more on this in the Submission session in this manual See Submission.

Quit
CTRL+Q

Exit Aris.

Small
CTRL+-

Change the font size to small (8pt).

Medium
CTRL+0

Change the font size to medium (12pt).

Large
CTRL+=

Change the font size to large (16pt).

Custom

Change the font size to a custom size. This menu option opens a dialog box with a numerical entry.

Contents
F1

Display Aris help. This is the only key command that cannot be modified.

Customize...

Opens the customization dialog. For more information on this, see See Customization.

About GNU Aris

Displays information about GNU Aris.