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