Window Menu
Show Editor
Opens the
Editor window
.
Show conjecturing window
Opens the
conjecturing window
.
Show logging window
Opens the
logging window
.
This menu also contains an overview of the currently loaded graph lists.