X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.glade;h=d9e922f98bc40ca50fa26e99d79710e5cc5b2222;hb=ef9ec8cb57d15426a96fe40d056eb07804753bb9;hp=58c7132927342cce24a16c23bb3b31ee04d3b258;hpb=e3c0cc9893402419e363ad6616a599f194438273;p=helm.git
diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade
index 58c713292..d9e922f98 100644
--- a/helm/matita/matita.glade
+++ b/helm/matita/matita.glade
@@ -51,7 +51,7 @@
True
-
+
True
gtk-new
1
@@ -70,7 +70,6 @@
True
_Proof or definition ...
True
-
@@ -94,7 +93,7 @@
-
+
True
gtk-open
1
@@ -115,7 +114,7 @@
-
+
True
gtk-save
1
@@ -135,7 +134,7 @@
True
-
+
True
gtk-save-as
1
@@ -162,7 +161,7 @@
-
+
True
gtk-quit
1
@@ -206,25 +205,14 @@
-
-
-
-
-