Customization

To change the application settings, select Settings->Preferences.... This opens the Preferences dialog, shown in Figure 3.

Figure 3. Preferences Dialog

The properties in the PREFSTABNAME tab are:

Default Text Style

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.

(Configuration Item Label)

(Description of Configuration)

(Configuration Item Label)

(Description of Configuration)

The properties in the SECONDTABNAME tab are:

(Configuration Item Label)

(Description of Configuration)

(Configuration Item Label)

(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.