* http://helm.cs.unibo.it/
*)
-(*
-class type stringListModel =
- object
- method clear: unit -> unit
- method append: string -> unit
- end
-*)
-
(** @param fname name of the Glade file describing the GUI *)
class gui :
string ->
object
method setQuitCallback : (unit -> unit) -> unit
- method setPhraseCallback : (string -> bool) -> unit
+ method setPhraseCallback : (string -> MatitaTypes.command_outcome) -> unit
(** {2 Access to lower-level GTK widgets} *)