To change the application settings, select Settings->Preferences.... This opens the Preferences dialog, shown in Figure 3.
The properties in the PREFSTABNAME tab are:
Select the default text style for statements in your proof. You can still change the style for individual proofs or sections of a proof at a later date.
(Description of Configuration)
(Description of Configuration)
The properties in the SECONDTABNAME tab are:
(Description of Configuration)
(Description of Configuration)
After you have made all the changes you want, click on OK to apply the changes and close the Properties dialog. To cancel the changes and return to previous values, click the Close button.