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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Thu, 26 Mar 2009 12:29:56 +0000 (12:29 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Thu, 26 Mar 2009 12:29:56 +0000 (12:29 +0000)
commit	42f25c258b0b199ee96dd8eaa3d44c86eb6916ab
tree	031e309235f299274cc867405322aa282c23f12f	tree \| snapshot
parent	e76b34f51e5677cbe3dbe3d8e89a34d13efe487a	commit \| diff

new apply almost there

17 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_engine/grafiteSync.ml		diff \| blob \| history
helm/software/components/grafite_engine/grafiteSync.mli		diff \| blob \| history
helm/software/components/grafite_engine/grafiteTypes.ml		diff \| blob \| history
helm/software/components/grafite_engine/grafiteTypes.mli		diff \| blob \| history
helm/software/components/grafite_parser/grafiteParser.ml		diff \| blob \| history
helm/software/components/ng_tactics/nTactics.ml		diff \| blob \| history
helm/software/matita/library/didactic/exercises/natural_deduction_fst_order.ma		diff \| blob \| history
helm/software/matita/matitaEngine.ml		diff \| blob \| history
helm/software/matita/matitaScript.ml		diff \| blob \| history
helm/software/matita/matitaWiki.ml		diff \| blob \| history
helm/software/matita/matitacLib.ml		diff \| blob \| history
helm/software/matita/tests/a.ma	[new file with mode: 0644]	blob
helm/software/matita/tests/depends		diff \| blob \| history
helm/software/matita/tests/unifhint.ma		diff \| blob \| history

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