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: 3a16e3e) | patch

author	Stefano Zacchiroli <zack@upsilon.cc>
	Fri, 22 Oct 2004 12:56:40 +0000 (12:56 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Fri, 22 Oct 2004 12:56:40 +0000 (12:56 +0000)
commit	2e9230cc95280f928b15c624ee4564fffea56373
tree	952736419a17355ab5c64a1342182ab1d9c6df2e	tree \| snapshot
parent	3a16e3e866b994997972f28b394cc6a69f163210	commit \| diff

- reimplemented tacticChaser and friends in term of Metadata module and friends

15 files changed:

helm/ocaml/tactics/.depend		diff \| blob \| history
helm/ocaml/tactics/Makefile		diff \| blob \| history
helm/ocaml/tactics/eliminationTactics.ml		diff \| blob \| history
helm/ocaml/tactics/filter_auto.ml	[deleted file]	blob \| history
helm/ocaml/tactics/filter_auto.mli	[deleted file]	blob \| history
helm/ocaml/tactics/match_concl.ml	[deleted file]	blob \| history
helm/ocaml/tactics/match_concl.mli	[deleted file]	blob \| history
helm/ocaml/tactics/metadataQuery.ml		diff \| blob \| history
helm/ocaml/tactics/newConstraints.ml	[deleted file]	blob \| history
helm/ocaml/tactics/newConstraints.mli	[deleted file]	blob \| history
helm/ocaml/tactics/proofEngineTypes.ml		diff \| blob \| history
helm/ocaml/tactics/tacticChaser.ml	[deleted file]	blob \| history
helm/ocaml/tactics/tacticChaser.mli	[deleted file]	blob \| history
helm/ocaml/tactics/variousTactics.ml		diff \| blob \| history
helm/ocaml/tactics/variousTactics.mli		diff \| blob \| history

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