|
The view menu is in the main menu bar and contains display options about the current proof. The items in the menu are listed below:
|
Text Size |
Provides you with a selection of text sizes. To pick one Go to View > Text Size which gives you sizes from tiny to huge. This
helps you to view the text in the proof better.
|
|
|
Input Proof Mode |
Displays the input window of the current active proof without disrupting that proof. Only applicable from within a current proof
otherwise has no effect.(if any change to the input are made, clicking solve proof mode will revert to the orginal proof. However, if
any changes are made and start proof is clicked, the original proof will be lost.)
|
|
|
Solve Proof Mode |
Returns to the proof window of the current active proof. Only applicable from input window and when a goal exists. Otherwise has
no effect.
|
|
|
Show Minimal Brackets / |
Toggles between displaying only the necessary brackets in the current active proof (based on normal operator precedence), or
displaying full bracketing .
|
|
