- added code for Coercion command, Print Env command.

[helm.git] / helm / matita / matitaGeneratedGui.mli

diff --git a/helm/matita/matitaGeneratedGui.mli b/helm/matita/matitaGeneratedGui.mli
index 6572f1a6df690d6be8143ce1ae27ddb348df6242..a84c1328af3d27800718c5df68a2d6663be09d9c 100644 (file)
--- a/helm/matita/matitaGeneratedGui.mli
+++ b/helm/matita/matitaGeneratedGui.mli
@@ -477,4 +477,50 @@ class textDialog :
     method vbox5 : GPack.box
     method xml : Glade.glade_xml Gtk.obj
   end
+class browserWin :
+  ?file:string ->
+  ?domain:string ->
+  ?autoconnect:bool ->
+  unit ->
+  object
+    val alignment3 : GBin.alignment
+    val browserBackButton : GButton.button
+    val browserForwardButton : GButton.button
+    val browserHomeButton : GButton.button
+    val browserWin : GWindow.window
+    val browserWinEventBox : GBin.event_box
+    val frame1 : GBin.frame
+    val hbox6 : GPack.box
+    val hbox7 : GPack.box
+    val image187 : GMisc.image
+    val image188 : GMisc.image
+    val image189 : GMisc.image
+    val image190 : GMisc.image
+    val label10 : GMisc.label
+    val scrolledBrowser : GBin.scrolled_window
+    val toplevel : GWindow.window
+    val vbox7 : GPack.box
+    val xml : Glade.glade_xml Gtk.obj
+    method alignment3 : GBin.alignment
+    method bind : name:string -> callback:(unit -> unit) -> unit
+    method browserBackButton : GButton.button
+    method browserForwardButton : GButton.button
+    method browserHomeButton : GButton.button
+    method browserWin : GWindow.window
+    method browserWinEventBox : GBin.event_box
+    method check_widgets : unit -> unit
+    method frame1 : GBin.frame
+    method hbox6 : GPack.box
+    method hbox7 : GPack.box
+    method image187 : GMisc.image
+    method image188 : GMisc.image
+    method image189 : GMisc.image
+    method image190 : GMisc.image
+    method label10 : GMisc.label
+    method reparent : GObj.widget -> unit
+    method scrolledBrowser : GBin.scrolled_window
+    method toplevel : GWindow.window
+    method vbox7 : GPack.box
+    method xml : Glade.glade_xml Gtk.obj
+  end
 val check_all : ?show:bool -> unit -> unit