]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 70f8559) | patch
Several changes (the beginning of a new era???)
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 16 Jul 2003 14:12:02 +0000 (14:12 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 16 Jul 2003 14:12:02 +0000 (14:12 +0000)
commitf7b2e35a7bdadb4fdf0e640428e694703ddf67a5
treeb46e06debd39e968e1b6cec5ec8f413106f14204tree | snapshot
parent70f855932359e26ca89deb11c22f9c9d26154827commit | diff
Several changes (the beginning of a new era???)
 1. stuff related to transformations (stylesheets and so on)
    moved from gTopLevel to the new library cic_transformations
 2. porting of the stylesheets to old plain ocaml code by Andrea Asperti.
    Also in cic_transformations.

Disclaimer:
 A. the ocaml transformations are still incomplete and under development.
    They are a bit more performant, though. (just a few order of magnitudes)
 B. the cic_transformation library seems a bit of a mess right now.
    Much clean-up needed.
61 files changed:
helm/gTopLevel/.depend diff | blob | history
helm/gTopLevel/Makefile diff | blob | history
helm/gTopLevel/applyStylesheets.ml [deleted file] blob | history
helm/gTopLevel/applyStylesheets.mli [deleted file] blob | history
helm/gTopLevel/cic2Xml.ml [deleted file] blob | history
helm/gTopLevel/cic2Xml.mli [deleted file] blob | history
helm/gTopLevel/cic2acic.ml [deleted file] blob | history
helm/gTopLevel/cic2acic.mli [deleted file] blob | history
helm/gTopLevel/content2cic.ml [new file with mode: 0644] blob
helm/gTopLevel/content2cic.mli [new file with mode: 0644] blob
helm/gTopLevel/doubleTypeInference.ml [deleted file] blob | history
helm/gTopLevel/doubleTypeInference.mli [deleted file] blob | history
helm/gTopLevel/eta_fixing.ml [new file with mode: 0644] blob
helm/gTopLevel/eta_fixing.mli [new file with mode: 0644] blob
helm/gTopLevel/gTopLevel.ml diff | blob | history
helm/gTopLevel/misc.ml [deleted file] blob | history
helm/gTopLevel/misc.mli [deleted file] blob | history
helm/gTopLevel/rootcontent.xsl diff | blob | history
helm/gTopLevel/script.sh diff | blob | history
helm/gTopLevel/sequentPp.ml [deleted file] blob | history
helm/gTopLevel/sequentPp.mli [deleted file] blob | history
helm/gTopLevel/termViewer.ml diff | blob | history
helm/gTopLevel/termViewer.mli diff | blob | history
helm/gTopLevel/xml2Gdome.ml [deleted file] blob | history
helm/gTopLevel/xml2Gdome.mli [deleted file] blob | history
helm/ocaml/.cvsignore diff | blob | history
helm/ocaml/META.helm-cic_transformations.src [new file with mode: 0644] blob
helm/ocaml/Makefile.in diff | blob | history
helm/ocaml/cic_transformations/.cvsignore [new file with mode: 0644] blob
helm/ocaml/cic_transformations/.depend [new file with mode: 0644] blob
helm/ocaml/cic_transformations/Makefile [new file with mode: 0644] blob
helm/ocaml/cic_transformations/applyStylesheets.ml [new file with mode: 0644] blob
helm/ocaml/cic_transformations/applyStylesheets.mli [new file with mode: 0644] blob
helm/ocaml/cic_transformations/cexpr2pres.ml [new file with mode: 0644] blob
helm/ocaml/cic_transformations/cexpr2pres.mli [new file with mode: 0644] blob
helm/ocaml/cic_transformations/cexpr2pres_hashtbl.ml [new file with mode: 0644] blob
helm/ocaml/cic_transformations/cexpr2pres_hashtbl.mli [new file with mode: 0644] blob
helm/ocaml/cic_transformations/cic2Xml.ml [new file with mode: 0644] blob
helm/ocaml/cic_transformations/cic2Xml.mli [new file with mode: 0644] blob
helm/ocaml/cic_transformations/cic2acic.ml [new file with mode: 0644] blob
helm/ocaml/cic_transformations/cic2acic.mli [new file with mode: 0644] blob
helm/ocaml/cic_transformations/cic2content.ml [new file with mode: 0644] blob
helm/ocaml/cic_transformations/cic2content.mli [new file with mode: 0644] blob
helm/ocaml/cic_transformations/content2pres.ml [new file with mode: 0644] blob
helm/ocaml/cic_transformations/content2pres.mli [new file with mode: 0644] blob
helm/ocaml/cic_transformations/contentPp.ml [new file with mode: 0644] blob
helm/ocaml/cic_transformations/contentPp.mli [new file with mode: 0644] blob
helm/ocaml/cic_transformations/content_expressions.ml [new file with mode: 0644] blob
helm/ocaml/cic_transformations/content_expressions.mli [new file with mode: 0644] blob
helm/ocaml/cic_transformations/doubleTypeInference.ml [new file with mode: 0644] blob
helm/ocaml/cic_transformations/doubleTypeInference.mli [new file with mode: 0644] blob
helm/ocaml/cic_transformations/misc.ml [new file with mode: 0644] blob
helm/ocaml/cic_transformations/misc.mli [new file with mode: 0644] blob
helm/ocaml/cic_transformations/mpresentation.ml [new file with mode: 0644] blob
helm/ocaml/cic_transformations/mpresentation.mli [new file with mode: 0644] blob
helm/ocaml/cic_transformations/sequentPp.ml [new file with mode: 0644] blob
helm/ocaml/cic_transformations/sequentPp.mli [new file with mode: 0644] blob
helm/ocaml/cic_transformations/xml2Gdome.ml [new file with mode: 0644] blob
helm/ocaml/cic_transformations/xml2Gdome.mli [new file with mode: 0644] blob
helm/ocaml/cic_transformations/xml2Gdomexmath.ml [new file with mode: 0644] blob
helm/ocaml/cic_transformations/xml2Gdomexmath.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.