X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fmatita.glade;h=a2bfd8bf5774368d743cdcdf9e3ee1430c452f03;hb=3fa45cd94f60af6b221a10ac198e2a1cf17b041d;hp=f94406c9253128c39f5bd58a59fe68c1cd519e9b;hpb=f7de543e86cf586e9e1e9f765faa4bb833752ece;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