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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 4 Mar 2016 19:52:33 +0000 (19:52 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 4 Mar 2016 19:52:33 +0000 (19:52 +0000)
commit	859c5cbb8ebffeddd1dd9cbc462e046b0709b4e4
tree	d8d50f528f9a46603fd9f61a4919f6974711819d	tree \| snapshot
parent	bc389dd4724959688aafc1ede450794f47b8d0b5	commit \| diff

small improvements and corrections ...

matita/matita/contribs/lambdadelta/ground_2/lib/streams.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/streams_eq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/lib/streams_hdtl.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_sand.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl		diff \| blob \| history

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