matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Fri, 25 Oct 2019 15:59:07 +0000 (17:59 +0200)
committer	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Fri, 25 Oct 2019 15:59:07 +0000 (17:59 +0200)
commit	21e6d5cb0c9b6d6a6b9975b78ae752120a969cd6
tree	c56e3926d177e9e6dbd5bdd10cf52eb6f4bee738	tree \| snapshot
parent	48bd1f41417fb167a100eb1613a64a711484b69a	commit \| diff

update in basic_2

+ cpce parked for now
+ some renaming

23 files changed:

matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpce.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_lpce.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/lsubv.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cnv_cpce.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpce/cnv_cpce.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpce/cnv_cpce_1.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpce/cnv_cpce_2.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpce/cnv_lpce.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpce/cnv_lpce_1.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpce/cnv_lpce_2.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpce/cpce.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpce/cpce_drops.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpce/cpce_ext.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpce/lpce.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpce/lpce_drops.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpce/lsubv_cpce_1.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpce/lsubv_cpce_2.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_conversion/cpce.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_conversion/cpce_drops.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_conversion/cpce_ext.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_conversion/lpce.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_conversion/lpce_drops.ma	[deleted file]	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.

RSS Atom