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: 314d686) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 9 May 2007 19:36:00 +0000 (19:36 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 9 May 2007 19:36:00 +0000 (19:36 +0000)
commit	b8254cf86275b9d78b30a0b14974a6f23ad9be24
tree	72c717d7d8eba1e785cc8a18be2f32d27556f172	tree \| snapshot
parent	314d68672678df5b00359145150395fcba8b4e8c	commit \| diff

PrimitiveTactics: intros _ now aveilable
GrafiteAst : some refactoring

16 files changed:

components/acic_procedural/acic2Procedural.ml		diff \| blob \| history
components/acic_procedural/proceduralConversion.ml		diff \| blob \| history
components/acic_procedural/proceduralConversion.mli		diff \| blob \| history
components/acic_procedural/proceduralOptimizer.ml		diff \| blob \| history
components/acic_procedural/proceduralTypes.ml		diff \| blob \| history
components/acic_procedural/proceduralTypes.mli		diff \| blob \| history
components/grafite/grafiteAst.ml		diff \| blob \| history
components/grafite/grafiteAstPp.ml		diff \| blob \| history
components/grafite_engine/grafiteEngine.ml		diff \| blob \| history
components/grafite_parser/grafiteDisambiguate.ml		diff \| blob \| history
components/grafite_parser/grafiteParser.ml		diff \| blob \| history
components/tactics/primitiveTactics.ml		diff \| blob \| history
components/tactics/primitiveTactics.mli		diff \| blob \| history
components/tactics/tactics.mli		diff \| blob \| history
components/tptp_grafite/tptp2grafite.ml		diff \| blob \| history
matita/matitaGui.ml		diff \| blob \| history

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