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