Next: Other Key Shortcuts, Previous: Proof Windows, Up: Menu Options

### 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.