X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fsoftware%2Fmatita%2Fmatita.glade;h=72ba3db8c62fcfb806e7c1bd0c601aa5930d7397;hb=d5fa086d0324953f6f6ec7955f7eaa60796eb69d;hp=31ca67c3369abb38fffc0840671a7ecfbb88091d;hpb=8405aa804344fd6c4e54b0d019e56dce14bfdf1e;p=helm.git
diff --git a/helm/software/matita/matita.glade b/helm/software/matita/matita.glade
index 31ca67c33..72ba3db8c 100644
--- a/helm/software/matita/matita.glade
+++ b/helm/software/matita/matita.glade
@@ -910,7 +910,7 @@
True
Paste Unicode as TeX
True
- True
+ False
@@ -1161,7 +1161,7 @@