matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 4b84dd7) | patch

author	Enrico Tassi <enrico.tassi@inria.fr>
	Wed, 1 Jun 2005 14:34:36 +0000 (14:34 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Wed, 1 Jun 2005 14:34:36 +0000 (14:34 +0000)
commit	aeec9dd128be72caf5a39bac3a0ef34b564ecd8b
tree	14be34aab8bd6ae31e8ce282f06c5539c5a4a936	tree \| snapshot
parent	4b84dd78aa6b596a0d3ee38745890ff65efa8b10	commit \| diff

paths trough terms implemented with a nice hack :)

13 files changed:

helm/ocaml/cic/cicUtil.ml		diff \| blob \| history
helm/ocaml/cic_disambiguation/cicTextualLexer2.ml		diff \| blob \| history
helm/ocaml/cic_disambiguation/cicTextualParser2.ml		diff \| blob \| history
helm/ocaml/cic_disambiguation/disambiguate.ml		diff \| blob \| history
helm/ocaml/cic_disambiguation/disambiguate.mli		diff \| blob \| history
helm/ocaml/cic_transformations/cicAst.mli		diff \| blob \| history
helm/ocaml/cic_transformations/tacticAst.ml		diff \| blob \| history
helm/ocaml/cic_transformations/tacticAst2Box.ml		diff \| blob \| history
helm/ocaml/cic_transformations/tacticAstPp.ml		diff \| blob \| history
helm/ocaml/tactics/reductionTactics.ml		diff \| blob \| history
helm/ocaml/tactics/reductionTactics.mli		diff \| blob \| history
helm/ocaml/tactics/tactics.ml		diff \| blob \| history
helm/ocaml/tactics/tactics.mli		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.