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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 8 Apr 2014 20:56:32 +0000 (20:56 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 8 Apr 2014 20:56:32 +0000 (20:56 +0000)
commit	0f34e7f3ada66fdc9044b5ed5c5f59ea36d3c6a2
tree	7d7a5a8c7e798b918d38c7afd438a3212b375b70	tree \| snapshot
parent	a76f56fdad6348b167376093920650379c9936d4	commit \| diff

some advances on pointwise union for local environments ...

matita/matita/contribs/lambdadelta/basic_2/relocation/llor.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lpx_sn_alt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history

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