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: 98d4ee8) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 16 Mar 2017 19:59:05 +0000 (19:59 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 16 Mar 2017 19:59:05 +0000 (19:59 +0000)
commit	b8e20d61b2e76f7a36f05b8803e60cc3388c0882
tree	894679faf679f538e1f9709913fb96ef8f6ae16b	tree \| snapshot
parent	98d4ee8a0212abae10cee962f7f81f658b70f611	commit \| diff

component rt_transition completed!

matita/matita/contribs/lambdadelta/basic_2/etc/fpb/fpb_fleq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lfpr/lfpr_fquq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpb_fleq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpr_fquq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpr_fquq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/partial.txt		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/partial.txt		diff \| blob \| history
matita/matita/contribs/lambdadelta/partial_compile.sh		diff \| blob \| history

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