|
The file menu can be found on the left of the menu bar and contains commands to open, create, save and
print proofs. The items in the menu are listed below:
|
New |
Opens a new proof see Starting a new proof |
|
Load |
Opens an existing proof from a file
(this feature is disabled when Pandora is running as an applet) |
|
Load Exercise |
Opens a set of assessed exercises
(this feature is disabled when Pandora is running as an applet) |
|
Save |
Saves the current proof to a file
(this feature is disabled when Pandora is running as an applet) |
|
Save As |
Saves the current proof to a different filename
(this feature is disabled when Pandora is running as an applet) |
|
Close |
Closes the current proof and asks you whether you want to save it if it has been modified |
|
Close All |
Closes all the currently open proofs, prompting you to the save the unsaved ones |
|
Print |
Prints the proof
(this feature is disabled when Pandora is running as an applet) |
|
Export To Latex |
Exports the current proof to a latex file
(this feature is disable when Pandora is running as an applet) |
|
Quit Pandora |
Closes all proofs and exits pandora |
|
