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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Wed, 21 Jun 2006 15:33:02 +0000 (15:33 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Wed, 21 Jun 2006 15:33:02 +0000 (15:33 +0000)
commit	3b7bfb05e6fc1a2ac6864d8f7d959fcda0597d21
tree	3f67672c810a41c11c9f72a287f779feb24696a1	tree \| snapshot
parent	ac8bbbb47941fdf5b2d602b1e2ab2a6d6dcec9cd	commit \| diff

added the geniric
auto params
syntax and the auto superposition tactic

12 files changed:

helm/software/components/grafite/grafiteAst.ml		diff \| blob \| history
helm/software/components/grafite/grafiteAstPp.ml		diff \| blob \| history
helm/software/components/grafite_engine/grafiteEngine.ml		diff \| blob \| history
helm/software/components/grafite_parser/grafiteDisambiguate.ml		diff \| blob \| history
helm/software/components/grafite_parser/grafiteParser.ml		diff \| blob \| history
helm/software/components/tactics/autoTactic.ml		diff \| blob \| history
helm/software/components/tactics/autoTactic.mli		diff \| blob \| history
helm/software/components/tactics/paramodulation/saturation.ml		diff \| blob \| history
helm/software/components/tactics/paramodulation/saturation.mli		diff \| blob \| history
helm/software/components/tactics/tactics.mli		diff \| blob \| history
helm/software/matita/matita.ml		diff \| blob \| history
helm/software/matita/matitaGui.ml		diff \| blob \| history

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