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: 8c62eb7) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 8 Feb 2015 17:13:27 +0000 (17:13 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 8 Feb 2015 17:13:27 +0000 (17:13 +0000)
commit	d795687ffe924872a5e36122c2bd3069d6409454
tree	50ecc2a3bec40eaa7ea695ca56b2ad23f32de974	tree \| snapshot
parent	8c62eb7de90e3c9a3a960fb0b3845bc561dddb75	commit \| diff

components: clear getl cimp
if anticipated, getl/drop.ma causes "Out of mamory" in matitac

14 files changed:

matita/matita/contribs/lambdadelta/basic_1/cimp/defs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/cimp/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/clear/defs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/clear/drop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/clear/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/clear/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/getl/clear.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/getl/dec.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/getl/defs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/getl/drop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/getl/flt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/getl/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/getl/getl.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/getl/props.ma		diff \| blob \| history

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