File Menu

New Workspace ...Creates a new workspace.
Load Workspace ...Loads a workspace you provide using a file chooser dialog.

Save WorkspaceSaves 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 SaveExits 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.