]> matita.cs.unibo.it Git - helm.git/commit
pango escape fixed
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 21 Aug 2008 23:08:44 +0000 (23:08 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 21 Aug 2008 23:08:44 +0000 (23:08 +0000)
commit02763a89e6351dfb7770251d0507512e3f0ddb74
tree779895df72956cc3970a16b21a7ba62a399871e0
parent9e1d0c4f6ddf36cd691ef0d3c95aaa7f694977f0
pango escape fixed
helm/software/matita/.depend.opt
helm/software/matita/Makefile
helm/software/matita/matitaAutoGui.ml
helm/software/matita/matitaGtkMisc.ml
helm/software/matita/matitaGtkMisc.mli
helm/software/matita/matitaGui.ml