]> matita.cs.unibo.it Git - helm.git/commit
Xml.token is now namespace-aware. As a consequence, xml2Gdomexmath is
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 16 Jul 2003 22:46:22 +0000 (22:46 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 16 Jul 2003 22:46:22 +0000 (22:46 +0000)
commit6f65a2e518d723ea722b23bfd9fa0162ff8be457
treed4bc8834b1c0b8a4cafaef4a12ed610e3dfc697f
parentb266dce15b2f669a70daaee3bd0887f8d9c345b2
Xml.token is now namespace-aware. As a consequence, xml2Gdomexmath is
no longer needed. (It was a terrible hack indeed).
16 files changed:
helm/gTopLevel/termViewer.ml
helm/ocaml/cic_annotations/cicAnnotation2Xml.ml
helm/ocaml/cic_transformations/.depend
helm/ocaml/cic_transformations/Makefile
helm/ocaml/cic_transformations/cexpr2pres.ml
helm/ocaml/cic_transformations/cexpr2pres.mli
helm/ocaml/cic_transformations/cic2Xml.ml
helm/ocaml/cic_transformations/content2pres.ml
helm/ocaml/cic_transformations/mpresentation.ml
helm/ocaml/cic_transformations/mpresentation.mli
helm/ocaml/cic_transformations/sequentPp.ml
helm/ocaml/cic_transformations/xml2Gdome.ml
helm/ocaml/cic_transformations/xml2Gdomexmath.ml [deleted file]
helm/ocaml/cic_transformations/xml2Gdomexmath.mli [deleted file]
helm/ocaml/xml/xml.ml
helm/ocaml/xml/xml.mli