From: Stefano Zacchiroli Date: Thu, 26 Jan 2006 17:51:24 +0000 (+0000) Subject: use italic by default X-Git-Tag: make_still_working~7751 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c51860b3abc51c2309059bb1ee3eb1fe19198656;p=helm.git use italic by default --- diff --git a/helm/matita/gtkmathview.matita.conf.xml.in b/helm/matita/gtkmathview.matita.conf.xml.in index 0a33ae6d0..704ca13ef 100644 --- a/helm/matita/gtkmathview.matita.conf.xml.in +++ b/helm/matita/gtkmathview.matita.conf.xml.in @@ -3,6 +3,7 @@
@RT_BASE_DIR@/dictionary-matita.xml
+