New Workspace ... | Creates a new workspace. |
Load Workspace ... | Loads a workspace you provide using a file chooser dialog. |
|
|
---|---|
Save Workspace | Saves the current workspace. |
Save Workspace As ... | Saves the current workspace to a file with a name you provide using a file chooser dialog. |
Save Workspace To Directory ... | Saves the current workspace to a directory with a name you provide using a file chooser dialog. |
|
|
Load Invariant ... | Load an invariant from a file. |
|
|
Exit Without Save | Exits GrInvIn without saving the workspace. |
Exit* | Exits GrInvIn. |
* : On Mac OS X these menu items are located at the default place for this system: i.e. in the main menubar below Apple.