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: 3e9d72c) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 17 Dec 2013 20:10:57 +0000 (20:10 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 17 Dec 2013 20:10:57 +0000 (20:10 +0000)
commit	e0c1f02de90fdb4e16f322a5bcb39f16c2dc477e
tree	71f121f2017c13c28a6ad8379b770c71c69e4455	tree \| snapshot
parent	3e9d72c26091f0e157a024ea9bd6f95a95729860	commit \| diff

refinement for extended substitution completed

matita/matita/contribs/lambdadelta/basic_2/relocation/lsuby.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lsuby_lsuby.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history

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