|
The file menu is in the menu bar and contains commands to open, create and save proofs and to exit Pandora.
The items in the menu are listed below:
|
New |
Opens a new proof see Starting a New Proof in Pandora Concepts |
|
|
Open |
Opens an existing proof from a .pan file
|
|
|
Save |
Saves the current proof to a .pan file |
|
|
Close |
Closes the file and before closing it prompts to save the file. If the chosen file already exists you have the option to overwrite or not. |
|
|
Exit |
Closes all the open proofs giving you the option to save before closing it
and exits the program. |
|
