GNU Aris Manual: Rules Table

Next: Other Key Shortcuts, Previous: Proof Windows, 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.