snapshot

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

diff --git a/helm/matita/matitaGeneratedGui.mli b/helm/matita/matitaGeneratedGui.mli
index 74b2adfd0f11e0e3e85933b3edd3d822434cef40..6572f1a6df690d6be8143ce1ae27ddb348df6242 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