Next: , Previous: Basic Usage, Up: Top


5 Keyboard Shortcuts

CTRL+N
Start a new proof.
CTRL+O
Open an existing proof.
CTRL+S
Save the current proof.
CTRL+SHIFT+S
Save the current proof under a different name.
CTRL+W
Close the current proof.
CTRL+Q
Exit Aris.
CTRL+P
Insert a new premise after the current line.
CTRL+J
Insert a new conclusion after the current line.
CTRL+B
Begin a new subproof after the current line.
CTRL+D
End the current subproof, if there is one.
CTRL+G
Copy the current line.
CTRL+K
Kill the current line.
CTRL+I
Insert the copied/killed line.
CTRL+E
Evaluate the current line.
CTRL+F
Evaluate the current proof.
CTRL+L
Toggle the goal window for the current proof.
CTRL+M
Toggle boolean mode for the current proof.
CTRL+R
Toggle the rules window.
CTRL+-
Change the font size to small (8pt).
CTRL+0
Change the font size to medium (12pt).
CTRL+=
Change the font size to large (16pt).
F1
Display Aris help.