X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fsoftware%2Fmatita%2Fmatita.glade;h=0d80fe22c933960827789de606e3c3601b392610;hb=a57b60bb92d8587ced8ef5e9e47cdc4daafa40fc;hp=75783e6ab0dc16099c6f9fd73b5ce95d72150932;hpb=e78cf74f8976cf0ca554f64baa9979d0423ee927;p=helm.git
diff --git a/helm/software/matita/matita.glade b/helm/software/matita/matita.glade
index 75783e6ab..0d80fe22c 100644
--- a/helm/software/matita/matita.glade
+++ b/helm/software/matita/matita.glade
@@ -1283,6 +1283,14 @@
True
+
+
+