|
The Help menu can be found on the right of the main menu bar and contains commands to access these help documents
along with contact information. The items in the menu are listed below:
|
Help |
Opens this help window, see Pandora Help |
|
What Now? |
Displays a hint about what action you could take next in your proof. (This feature is not designed
to do the proof for) |
|
Logic Syntax |
Displays the help window and the Logic Syntax page
|
|
About |
Displays an about window listing Pandora's authors
|
|
Contact Us |
Displays an email address to use if you find any problems with Pandora.
|
|
