|
The Help menu can be found on the right of the main menu bar. The items in the menu are listed below:
|
How do I start? |
Gives information as to how to write your first proof. |
|
Panic Situations |
Gives information as to what to do if you are stuck or if there is some problem with the program. |
|
Heuristic Hints |
Gives information as to the various techniques that can be used in proving a given proof.
|
|
Forwards and Backwards |
Gives information as to when a rule can be applied forwards or backwards in a given proof.
|
|
Manual |
Provides the Help Manual.
|
|
Known Problems |
Gives information as to the various problems currently identified in the system.
|
|
About |
Displays an about window listing Pandora's authors
|
|
