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.