Bestand Menu

Nieuwe Werkomgeving ...Maakt een nieuwe werkomgeving.
Laad Werkomgeving ...Laadt een werkomgeving in die je kan kiezen met behulp van een dialoogvenster.

Bewaar WerkomgevingBewaart 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 InvariantImporteert een invariant uit een bestand.

Afsluiten Zonder OpslaanSluit 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.