X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita.glade;h=a2bfd8bf5774368d743cdcdf9e3ee1430c452f03;hb=adfdd6bb94218accd7ada471084170b846c52994;hp=f94406c9253128c39f5bd58a59fe68c1cd519e9b;hpb=c97fb85c9e568dfb4459a7118fcba2db38f5654c;p=helm.git
diff --git a/matita/matita.glade b/matita/matita.glade
index f94406c92..a2bfd8bf5 100644
--- a/matita/matita.glade
+++ b/matita/matita.glade
@@ -33,6 +33,114 @@
False
0
+
+
+
+ 0
+ False
+ False
+
+
+
True