Nieuw... | Maakt een nieuwe grafenlijst of een nieuwe werkomgeving. |
Laad werkomgeving | laadt een werkomgeving in die je kan kiezen met behulp van een dialoogvenster. |
Importeer grafenlijst | Importeert een grafenlijst uit een .graphlist bestand of een graph6 bestand dat je kan kiezen met behulp van een dialoogvenster. |
Bewaar werkomgeving | Bewaart de huidige werkomgeving. |
Bewaar werkomgeving als... | Bewaart de huidige werkomgeving in een bestand waarvan je de naam opgeeft via een dialoogvenster. |
|
Einde | Sluit GrInvIn. |