From c51860b3abc51c2309059bb1ee3eb1fe19198656 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 26 Jan 2006 17:51:24 +0000 Subject: [PATCH] use italic by default --- helm/matita/gtkmathview.matita.conf.xml.in | 2 ++ 1 file changed, 2 insertions(+) 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
+ -- 2.39.5