]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e3c0cc9) | patch
- Changed ApplyTransformation API to return both the mathml and acic,
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 21 Jan 2005 11:49:03 +0000 (11:49 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 21 Jan 2005 11:49:03 +0000 (11:49 +0000)
commit10be6b9fb25a5bcd8721f707beba4b8a125591b5
tree61548558f1f4677c0a723cbe8bc80cfd93fb3e18tree | snapshot
parente3c0cc9893402419e363ad6616a599f194438273commit | diff
- Changed ApplyTransformation API to return both the mathml and acic,
  plus all the related tables
- Added the "Coercion" keyword to CicTextualParser2
helm/ocaml/cic_disambiguation/cicTextualParser2.ml diff | blob | history
helm/ocaml/cic_disambiguation/disambiguateTypes.mli diff | blob | history
helm/ocaml/cic_transformations/applyTransformation.ml diff | blob | history
helm/ocaml/cic_transformations/applyTransformation.mli diff | blob | history
helm/ocaml/cic_transformations/tacticAst.ml diff | blob | history
helm/ocaml/cic_unification/cicRefine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.