GNU Aris Manual: Menu Options

Next: Rules Index, Previous: Basic Usage, Up: Top [Contents]

## 5 Menu Options

The main GUIs for Aris all have menu bars. Each of the three types of GUIs have different menu bars, and the options for each of these are described in this section.

The keyboard shortcuts here (with the exception of the connectives) can be changed using customization See Customization. The shortcuts listed here are the default shortcuts for Aris.