|
The Options menu can be found in the main menu bar and contains the program's options. The items in the menu are listed below:
|
Expert Mode |
Switches Pandora into and out of Expert Mode (enabling or disabling optional rules).
(the tick box shows whether or not the Pandora is in Expert Mode).
|
|
Print as Landscape |
Sets whether or not the printed output should be in landscape or portrait orientation. This also affects the output when exporting the proof to Latex.
(the tick box shows the current printing orientation)
|
|
