New... | Creates a new list of graphs or a new workspace. |
Load workspace | Loads a workspace you provide using a file chooser dialog. |
Import list of graphs | Imports a list of graphs from a .graphlist file or a graph6 file 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. |
|
|
---|---|
Exit | Exits GrInvIn. |