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: 040c815) | patch

author	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Thu, 19 Jul 2018 12:47:21 +0000 (14:47 +0200)
committer	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Thu, 19 Jul 2018 12:47:21 +0000 (14:47 +0200)
commit	053be41a8db6aa0ca7cc06fb569ec284a9bcc5ef
tree	1127e12628ab876213b62364ce59acfe2acf8128	tree \| snapshot
parent	040c8158f327a3091c45295e91aaed2dedc137cb	commit \| diff

update in ground_2

+ basic relocation swap
+ one name fixed
+ bugs emerging in cpr fixed

matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_after.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_basic.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_istot.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.