File Menu

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

ExitExits GrInvIn.