]> matita.cs.unibo.it Git - helm.git/commit
use italic by default
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 26 Jan 2006 17:51:24 +0000 (17:51 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 26 Jan 2006 17:51:24 +0000 (17:51 +0000)
commitc51860b3abc51c2309059bb1ee3eb1fe19198656
treed59be6f9d0305811b4637e5968c5e8fd45be69e6
parenta877debee863033e33a0f7d497e253ad3b076477
use italic by default
helm/matita/gtkmathview.matita.conf.xml.in