| Nieuwe Werkomgeving ... | Maakt een nieuwe werkomgeving. |
| Laad Werkomgeving ... | Laadt een werkomgeving in die 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. |
| Bewaar Werkomgeving In Map ... | Bewaart de huidige werkomgeving in een map waarvan je de naam opgeeft via een dialoogvenster. |
|
|
|
| Importeer Invariant | Importeert een invariant uit een bestand. |
|
|
|
| Afsluiten Zonder Opslaan | Sluit GrInvIn zonder de werkomgeving op te slaan. |
| Afsluiten* | Sluit GrInvIn. |
* : Onder Mac OS X bevinden deze items zich op de standaardlocatie voor dit systeem, namelijk in het Apple menu.