Next: Submission, Previous: Rules Index, Up: Top [Contents]
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. |