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: 13b3c95) | patch

author	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Thu, 8 Nov 2018 16:32:40 +0000 (17:32 +0100)
committer	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Thu, 8 Nov 2018 16:32:40 +0000 (17:32 +0100)
commit	0e16720654c6667b94433e91dddc3c53b904e200
tree	59b4496b101cbf718cc5d62494e408159ce9515c	tree \| snapshot
parent	13b3c950f6714032a3c027b7b6ebbd2e3065cbfe	commit \| diff

update in basic_2 and in web site

+ updates on cpce an related concepts
+ "versions" table updated for web site

13 files changed:

helm/www/lambdadelta/web/home/versions.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_lpce.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpce/cnv_cpce.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpce/cnv_lpce.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpce/cpce_lpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_conversion/cpce.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_conversion/cpce_ext.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_conversion/lpce.ma		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/ground_2/notation/xoa/ex_2_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_2_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa2.conf.xml		diff \| blob \| history

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