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