]> matita.cs.unibo.it Git - helm.git/commit
* the transformations have been ported so to generate BoxML + MathML
authorLuca Padovani <luca.padovani@unito.it>
Tue, 28 Sep 2004 16:00:52 +0000 (16:00 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Tue, 28 Sep 2004 16:00:52 +0000 (16:00 +0000)
commit9ab5ca8acba80b19a939eea2cd87761507e7128b
treec54d917acc53817e6faaee68e3ed5078d9243ec2
parent57cbd3b3d72198943cef934c8ac2555e7546f95c
* the transformations have been ported so to generate BoxML + MathML
  instead of MathML alone. All the affected files have been heavily
  changed both in the interface and in the implementation, many
  solutions are certainly temporary and the code would benefit from
  extensive cleanup
17 files changed:
helm/ocaml/cic_transformations/.depend
helm/ocaml/cic_transformations/Makefile
helm/ocaml/cic_transformations/applyTransformation.ml
helm/ocaml/cic_transformations/box.ml
helm/ocaml/cic_transformations/box.mli
helm/ocaml/cic_transformations/cexpr2pres.ml
helm/ocaml/cic_transformations/cexpr2pres.mli
helm/ocaml/cic_transformations/cexpr2pres_hashtbl.ml
helm/ocaml/cic_transformations/cexpr2pres_hashtbl.mli
helm/ocaml/cic_transformations/cicAstPp.ml
helm/ocaml/cic_transformations/content2pres.ml
helm/ocaml/cic_transformations/content2pres.mli
helm/ocaml/cic_transformations/mpresentation.ml
helm/ocaml/cic_transformations/mpresentation.mli
helm/ocaml/cic_transformations/sequent2pres.ml
helm/ocaml/cic_transformations/sequent2pres.mli
helm/ocaml/cic_transformations/xml2Gdome.ml