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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 6 Jan 2020 21:13:52 +0000 (22:13 +0100)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 6 Jan 2020 21:13:52 +0000 (22:13 +0100)
commit	3b7b8afcb429a60d716d5226a5b6ab0d003228b1
tree	71672f8df43c208683ee6a45dbd8ccbd1ef22bca	tree \| snapshot
parent	d8d00d6f6694155be5be486a8239f5953efe28b7	commit \| diff

update in ground_2

+ centralized xoa infrastructure removed
+ unused xoa constructions detected and removed
+ inline: test lines added to Makefile

18 files changed:

helm/www/lambdadelta/bin/inline/Makefile		diff \| blob \| history
matita/matita/contribs/lambdadelta/Makefile		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_6_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_7_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_7_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_7_8.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_7_9.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_8_10.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_8_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa.conf.xml		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_6_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_7_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_7_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_7_8.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_7_9.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_8_10.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_8_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa2.conf.xml	[deleted file]	blob \| history

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

RSS Atom