snapshot, notably:

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

diff --git a/helm/matita/matitaGeneratedGui.mli b/helm/matita/matitaGeneratedGui.mli
index 74b2adfd0f11e0e3e85933b3edd3d822434cef40..113538361a591607cddf00b875adf3ef829a467f 100644 (file)
--- a/helm/matita/matitaGeneratedGui.mli
+++ b/helm/matita/matitaGeneratedGui.mli
@@ -16,11 +16,11 @@ class mainWin :
     val helpMenu_menu : GMenu.menu
     val hideConsoleButton : GButton.button
     val image169 : GMisc.image
-    val image174 : GMisc.image
-    val image175 : GMisc.image
-    val image176 : GMisc.image
-    val image177 : GMisc.image
-    val image178 : GMisc.image
+    val image182 : GMisc.image
+    val image183 : GMisc.image
+    val image184 : GMisc.image
+    val image185 : GMisc.image
+    val image186 : GMisc.image
     val mainMenuBar : GMenu.menu_shell
     val mainStatusBar : GMisc.statusbar
     val mainVPanes : GPack.paned
@@ -64,11 +64,11 @@ class mainWin :
     method helpMenu_menu : GMenu.menu
     method hideConsoleButton : GButton.button
     method image169 : GMisc.image
-    method image174 : GMisc.image
-    method image175 : GMisc.image
-    method image176 : GMisc.image
-    method image177 : GMisc.image
-    method image178 : GMisc.image
+    method image182 : GMisc.image
+    method image183 : GMisc.image
+    method image184 : GMisc.image
+    method image185 : GMisc.image
+    method image186 : GMisc.image
     method mainMenuBar : GMenu.menu_shell
     method mainStatusBar : GMisc.statusbar
     method mainVPanes : GPack.paned
@@ -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 browserNotebook : GPack.notebook
+    val browserWin : GWindow.window
+    val browserWinEventBox : GBin.event_box
+    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 label9 : GMisc.label
+    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 browserNotebook : GPack.notebook
+    method browserWin : GWindow.window
+    method browserWinEventBox : GBin.event_box
+    method check_widgets : unit -> unit
+    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 label9 : GMisc.label
+    method reparent : GObj.widget -> unit
+    method toplevel : GWindow.window
+    method vbox7 : GPack.box
+    method xml : Glade.glade_xml Gtk.obj
+  end
 val check_all : ?show:bool -> unit -> unit