snapshot, notably:

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

diff --git a/helm/matita/matitaGeneratedGui.mli b/helm/matita/matitaGeneratedGui.mli
index d8e34fca358862271b5674971cc1e0d62267aa0b..28beebc27bed5ec26ba079c8709b5c4222a85ff8 100644 (file)
--- a/helm/matita/matitaGeneratedGui.mli
+++ b/helm/matita/matitaGeneratedGui.mli
@@ -315,9 +315,11 @@ class interpChoiceDialog :
     val dialog_vbox4 : GPack.box
     val interpChoiceCancelButton : GButton.button
     val interpChoiceDialog : GWindow.dialog_any
+    val interpChoiceDialogLabel : GMisc.label
     val interpChoiceHelpButton : GButton.button
     val interpChoiceOkButton : GButton.button
-    val label6 : GMisc.label
+    val interpChoiceTreeView : GTree.view
+    val scrolledwindow4 : GBin.scrolled_window
     val toplevel : GWindow.dialog_any
     val vbox3 : GPack.box
     val xml : Glade.glade_xml Gtk.obj
@@ -327,10 +329,12 @@ class interpChoiceDialog :
     method dialog_vbox4 : GPack.box
     method interpChoiceCancelButton : GButton.button
     method interpChoiceDialog : GWindow.dialog_any
+    method interpChoiceDialogLabel : GMisc.label
     method interpChoiceHelpButton : GButton.button
     method interpChoiceOkButton : GButton.button
-    method label6 : GMisc.label
+    method interpChoiceTreeView : GTree.view
     method reparent : GObj.widget -> unit
+    method scrolledwindow4 : GBin.scrolled_window
     method toplevel : GWindow.dialog_any
     method vbox3 : GPack.box
     method xml : Glade.glade_xml Gtk.obj
@@ -387,35 +391,45 @@ class scriptWin :
   ?autoconnect:bool ->
   unit ->
   object
-    val button5 : GButton.button
-    val button6 : GButton.button
-    val button7 : GButton.button
     val image133 : GMisc.image
     val image134 : GMisc.image
     val image135 : GMisc.image
+    val label7 : GMisc.label
+    val label8 : GMisc.label
+    val scriptNotebook : GPack.notebook
     val scriptTextView : GText.view
     val scriptWin : GWindow.window
+    val scriptWinBackButton : GButton.button
     val scriptWinEventBox : GBin.event_box
+    val scriptWinForwardButton : GButton.button
+    val scriptWinJumpButton : GButton.button
     val scrolledScript : GBin.scrolled_window
+    val scrolledwindow3 : GBin.scrolled_window
     val toolbar1 : GButton.toolbar
     val toplevel : GWindow.window
+    val treeview1 : GTree.view
     val vbox4 : GPack.box
     val xml : Glade.glade_xml Gtk.obj
     method bind : name:string -> callback:(unit -> unit) -> unit
-    method button5 : GButton.button
-    method button6 : GButton.button
-    method button7 : GButton.button
     method check_widgets : unit -> unit
     method image133 : GMisc.image
     method image134 : GMisc.image
     method image135 : GMisc.image
+    method label7 : GMisc.label
+    method label8 : GMisc.label
     method reparent : GObj.widget -> unit
+    method scriptNotebook : GPack.notebook
     method scriptTextView : GText.view
     method scriptWin : GWindow.window
+    method scriptWinBackButton : GButton.button
     method scriptWinEventBox : GBin.event_box
+    method scriptWinForwardButton : GButton.button
+    method scriptWinJumpButton : GButton.button
     method scrolledScript : GBin.scrolled_window
+    method scrolledwindow3 : GBin.scrolled_window
     method toolbar1 : GButton.toolbar
     method toplevel : GWindow.window
+    method treeview1 : GTree.view
     method vbox4 : GPack.box
     method xml : Glade.glade_xml Gtk.obj
   end