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

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

author	Stefano Zacchiroli <zack@upsilon.cc>
	Wed, 27 Apr 2005 17:01:49 +0000 (17:01 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Wed, 27 Apr 2005 17:01:49 +0000 (17:01 +0000)
commit	0575a1cb077087970f311b48f2e45dc4a01a6867
tree	26c9812cf0ba48ad151261d8ef1ec65172156f7d	tree \| snapshot
parent	d7bb3f680ae2e8faa2dd486c965c29fafd9612cf	commit \| diff

merged changes from the svn fork by me and Enrico

41 files changed:

helm/ocaml/cic_disambiguation/cicTextualLexer2.ml		diff \| blob \| history
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_disambiguation/disambiguate.mli		diff \| blob \| history
helm/ocaml/cic_disambiguation/test_parser.ml		diff \| blob \| history
helm/ocaml/cic_omdoc/doubleTypeInference.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/.depend		diff \| blob \| history
helm/ocaml/cic_proof_checking/Makefile		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicEnvironment.mli		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicReduction.ml	[new file with mode: 0644]	blob
helm/ocaml/cic_proof_checking/cicReductionMachine.ml	[deleted file]	blob \| history
helm/ocaml/cic_proof_checking/cicReductionMachine.mli	[deleted file]	blob \| history
helm/ocaml/cic_proof_checking/cicReductionNaif.ml	[deleted file]	blob \| history
helm/ocaml/cic_proof_checking/cicReductionNaif.mli	[deleted file]	blob \| history
helm/ocaml/cic_proof_checking/cicSubstitution.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicSubstitution.mli		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicTypeChecker.ml		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/cic_transformations/tacticAstPp.mli		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/coercGraph.mli		diff \| blob \| history
helm/ocaml/hbugs/Makefile		diff \| blob \| history
helm/ocaml/hbugs/broker.ml		diff \| blob \| history
helm/ocaml/hbugs/hbugs_common.ml		diff \| blob \| history
helm/ocaml/hbugs/hbugs_messages.ml		diff \| blob \| history
helm/ocaml/hbugs/hbugs_types.mli		diff \| blob \| history
helm/ocaml/hbugs/search_pattern_apply_tutor.ml		diff \| blob \| history
helm/ocaml/tactics/tacticals.ml		diff \| blob \| history
helm/ocaml/tactics/tacticals.mli		diff \| blob \| history
helm/ocaml/tactics/tactics.ml		diff \| blob \| history
helm/ocaml/tactics/tactics.mli		diff \| blob \| history
helm/ocaml/tactics/variousTactics.ml		diff \| blob \| history
helm/ocaml/tactics/variousTactics.mli		diff \| blob \| history
helm/ocaml/urimanager/uriManager.ml		diff \| blob \| history
helm/ocaml/urimanager/uriManager.mli		diff \| blob \| history

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

RSS Atom