]> matita.cs.unibo.it Git - helm.git/commit
uses XmlPushParser instead of PXP
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 14 Jun 2005 13:47:23 +0000 (13:47 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 14 Jun 2005 13:47:23 +0000 (13:47 +0000)
commit8aa30d200433c2518b42f4b25d4b429e4cf44372
treecf6f9fc94b1e051abe3792b564e81a8e48b925ad
parent7f5f7c979c0cb49456a54e2833951558a6d51c96
uses XmlPushParser instead of PXP
helm/ocaml/utf8_macros/Makefile
helm/ocaml/utf8_macros/make_table.ml