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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Thu, 24 May 2007 15:54:08 +0000 (15:54 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Thu, 24 May 2007 15:54:08 +0000 (15:54 +0000)
commit	253b4b00b06f6796fcf8e3a6e3892cde143ff3b7
tree	a0b7f7bdff1702986fec4fbc8358256a775ac3fb	tree \| snapshot
parent	e560ae80f1f1cece95e0eda87daae3814d9413c5	commit \| diff

auto and autogui... some work

18 files changed:

components/content_pres/boxPp.ml		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/.depend		diff \| blob \| history
components/tactics/.depend.opt		diff \| blob \| history
components/tactics/Makefile		diff \| blob \| history
components/tactics/auto.ml		diff \| blob \| history
components/tactics/auto.mli		diff \| blob \| history
components/tactics/autoTactic.ml	[deleted file]	blob \| history
components/tactics/autoTactic.mli	[deleted file]	blob \| history
components/tactics/autoTypes.ml		diff \| blob \| history
components/tactics/autoTypes.mli		diff \| blob \| history
components/tactics/tactics.ml		diff \| blob \| history
components/tactics/tactics.mli		diff \| blob \| history
components/tptp_grafite/tptp2grafite.ml		diff \| blob \| history

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