| 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.