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: 2365a41) | 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	cf4088e2cabcbce9b112f1e1fd5cfd38fe16d427
tree	07d752e98afa64a8232b86d79e9683c8d10027f3	tree \| snapshot
parent	2365a412571f633fc85633b134a45cf5a8777efa	commit \| diff

auto and autogui... some work

18 files changed:

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

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