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