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

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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Fri, 27 May 2005 16:31:47 +0000 (16:31 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Fri, 27 May 2005 16:31:47 +0000 (16:31 +0000)
commit	46f19eadce5f3a11c0ae26934fd8d1b597906416
tree	aba479a7296c37e880293c7bed00973475da39e2	tree \| snapshot
parent	f8b2057d349dd9903ad8b1dd05f894cb0fa14378	commit \| diff

removed debug prerr_endline

21 files changed:

helm/ocaml/cic_disambiguation/cicTextualParser2.ml		diff \| blob \| history
helm/ocaml/cic_disambiguation/cicTextualParser2.mli		diff \| blob \| history
helm/ocaml/cic_disambiguation/disambiguate.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicElim.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicEnvironment.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicReduction.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicSubstitution.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicTypeChecker.ml		diff \| blob \| history
helm/ocaml/cic_transformations/tacticAstPp.ml		diff \| blob \| history
helm/ocaml/cic_unification/cicMetaSubst.ml		diff \| blob \| history
helm/ocaml/cic_unification/cicRefine.ml		diff \| blob \| history
helm/ocaml/cic_unification/cicUnification.ml		diff \| blob \| history
helm/ocaml/cic_unification/coercGraph.ml		diff \| blob \| history
helm/ocaml/cic_unification/freshNamesGenerator.ml		diff \| blob \| history
helm/ocaml/getter/http_getter.ml		diff \| blob \| history
helm/ocaml/tactics/autoTactic.ml		diff \| blob \| history
helm/ocaml/tactics/discriminationTactics.ml		diff \| blob \| history
helm/ocaml/tactics/eliminationTactics.ml		diff \| blob \| history
helm/ocaml/tactics/metadataQuery.ml		diff \| blob \| history
helm/ocaml/tactics/ring.ml		diff \| blob \| history
helm/ocaml/tactics/tacticals.ml		diff \| blob \| history

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