GNU Aris Manual: Customization

Next: Submission, Previous: Rules Index, Up: Top [Contents]

7 Customization

GNU Aris can be customized using the customization dialog, or manually through the customization file. The customization dialog can be accessed through the rules table, under ’Help’.

• Dialog: The customization dialog.

• Config File: The customization file format.