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

author	Stefano Zacchiroli <zack@upsilon.cc>
	Tue, 20 Apr 2004 17:00:07 +0000 (17:00 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Tue, 20 Apr 2004 17:00:07 +0000 (17:00 +0000)
commit	a6fc115fd7d4cfba94a43f001f4c27322d3db1a8
tree	9eb93cf8c0441c438c0f6ee4e5ed8e21a22932ce	tree \| snapshot
parent	d651bf2e3d560e194fbe948dd950dd600a40eab6	commit \| diff

got rid of ~status label so that tactics can now be applied partially,
delta reduced, ...

16 files changed:

helm/ocaml/tactics/discriminationTactics.ml		diff \| blob \| history
helm/ocaml/tactics/eliminationTactics.ml		diff \| blob \| history
helm/ocaml/tactics/equalityTactics.ml		diff \| blob \| history
helm/ocaml/tactics/fourierR.ml		diff \| blob \| history
helm/ocaml/tactics/introductionTactics.ml		diff \| blob \| history
helm/ocaml/tactics/negationTactics.ml		diff \| blob \| history
helm/ocaml/tactics/primitiveTactics.ml		diff \| blob \| history
helm/ocaml/tactics/proofEngineStructuralRules.ml		diff \| blob \| history
helm/ocaml/tactics/proofEngineTypes.ml		diff \| blob \| history
helm/ocaml/tactics/reductionTactics.ml		diff \| blob \| history
helm/ocaml/tactics/ring.ml		diff \| blob \| history
helm/ocaml/tactics/tacticChaser.ml		diff \| blob \| history
helm/ocaml/tactics/tacticChaser.mli		diff \| blob \| history
helm/ocaml/tactics/tacticals.ml		diff \| 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.