X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fmatita.glade;h=72ba3db8c62fcfb806e7c1bd0c601aa5930d7397;hb=66faca1dc849662e27d760b950294ef66a5741b3;hp=e50642a61c18deec5c726b1440cdf278b96ee4fc;hpb=224c4530d80c2ea1f0e0dedf09cc132c6fab9a9d;p=helm.git
diff --git a/helm/software/matita/matita.glade b/helm/software/matita/matita.glade
index e50642a61..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