]> matita.cs.unibo.it Git - helm.git/commit
- removed applyStylesheets
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 25 Jan 2005 09:32:35 +0000 (09:32 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 25 Jan 2005 09:32:35 +0000 (09:32 +0000)
commit1e18535e2671bd62d2ad82ab8d5c5201545d0bdb
tree50f7b2295be8c0c399756929a889b55209906476
parentde36c6322dde3866f3da822f1795cc518233c79f
- removed applyStylesheets
- added Print and print_kind to AST
- added coercion module
helm/ocaml/cic_disambiguation/cicTextualParser2.ml
helm/ocaml/cic_disambiguation/disambiguate.ml
helm/ocaml/cic_transformations/.depend
helm/ocaml/cic_transformations/Makefile
helm/ocaml/cic_transformations/applyStylesheets.ml [deleted file]
helm/ocaml/cic_transformations/applyStylesheets.mli [deleted file]
helm/ocaml/cic_transformations/tacticAst.ml
helm/ocaml/cic_unification/coercGraph.ml