string ->
object
- method setQuitCallback : (unit -> unit) -> unit
+ method setQuitCallback : (unit -> unit) -> unit
+ method setPhraseCallback : (string -> unit) -> unit
- (** {2 Access to low-level GTK widgets} *)
+ (** {2 Access to lower-level GTK widgets} *)
method about : MatitaGeneratedGui.aboutWin
method fileSel : MatitaGeneratedGui.fileSelectionWin
method proof : MatitaGeneratedGui.proofWin
method toolbar : MatitaGeneratedGui.toolBarWin
+ (** {2 Access to GUI useful components} *)
+
+ method console: MatitaConsole.console
+
(** {2 Dialogs instantiation}
* methods below create a new window on each invocation. You should
* remember to destroy windows after use *)