(** {2 Access to singleton instances of lower-level GTK widgets} *)
method about : MatitaGeneratedGui.aboutWin
- method check : MatitaGeneratedGui.checkWin
method fileSel : MatitaGeneratedGui.fileSelectionWin
method main : MatitaGeneratedGui.mainWin
- method proof : MatitaGeneratedGui.proofWin
method script: MatitaGeneratedGui.scriptWin
method toolbar : MatitaGeneratedGui.toolBarWin