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: a38dce3) | patch

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Wed, 12 Jun 2002 15:53:43 +0000 (15:53 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Wed, 12 Jun 2002 15:53:43 +0000 (15:53 +0000)
commit	c929e791b0eca1e75694a663a2f6ada9f0ff9534
tree	99066efed3d98c3ddc8569cec32af3b6e2a13fbc	tree \| snapshot
parent	a38dce333847f6a1eaed563f7a2260e1cfc1ff2e	commit \| diff

Abst removed from the DTD.
Warning!!!! This breaks the most part of the code of HELM.

13 files changed:

helm/ocaml/cic/cic.ml		diff \| blob \| history
helm/ocaml/cic/cicParser3.ml		diff \| blob \| history
helm/ocaml/cic/deannotate.ml		diff \| blob \| history
helm/ocaml/cic_annotations/cicAnnotation2Xml.ml		diff \| blob \| history
helm/ocaml/cic_annotations/cicXPath.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicCooking.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicMiniReduction.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicPp.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicReductionMachine.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicReductionNaif.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_unification/cicUnification.ml		diff \| blob \| history

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