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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 14 Dec 2009 14:36:44 +0000 (14:36 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 14 Dec 2009 14:36:44 +0000 (14:36 +0000)
commit	0e6bf0ef18e3879a359b2b6f63d600c20102f0ab
tree	392f2bf99f702fcaf8f784a7d7c10c4dfbc02655	tree \| snapshot
parent	f2771b346a41445df23adb6acccd7ee6b1578666	commit \| diff

the sort hierarchy parameter enter the kernel status

12 files changed:

helm/software/lambda-delta/.depend.opt		diff \| blob \| history
helm/software/lambda-delta/basic_ag/bagType.ml		diff \| blob \| history
helm/software/lambda-delta/basic_ag/bagType.mli		diff \| blob \| history
helm/software/lambda-delta/basic_ag/bagUntrusted.ml		diff \| blob \| history
helm/software/lambda-delta/basic_ag/bagUntrusted.mli		diff \| blob \| history
helm/software/lambda-delta/basic_rg/brgReduction.ml		diff \| blob \| history
helm/software/lambda-delta/basic_rg/brgType.ml		diff \| blob \| history
helm/software/lambda-delta/basic_rg/brgType.mli		diff \| blob \| history
helm/software/lambda-delta/basic_rg/brgUntrusted.ml		diff \| blob \| history
helm/software/lambda-delta/basic_rg/brgUntrusted.mli		diff \| blob \| history
helm/software/lambda-delta/common/entity.ml		diff \| blob \| history
helm/software/lambda-delta/toplevel/top.ml		diff \| blob \| history

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