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>
	Wed, 20 Nov 2019 18:08:07 +0000 (19:08 +0100)
committer	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Wed, 20 Nov 2019 18:08:07 +0000 (19:08 +0100)
commit	dd731f05f181f45260a0c448cf995aa3d7adc1f2
tree	524df2bafac5fba0c49a0b4d0d02a5553d955985	tree \| snapshot
parent	c7b50fec51b9a25d5bc536f44e54179fd53efb44	commit \| diff

web site update

+ λδ-2B is released on web site
+ minor corrections

27 files changed:

helm/coq-contribs/lambdadelta/web/basic_1.ldw.xml	[new file with mode: 0644]	blob
helm/coq-contribs/lambdadelta/web/basic_1_blk.tbl	[new file with mode: 0644]	blob
helm/coq-contribs/lambdadelta/web/basic_1_src.tbl	[new file with mode: 0644]	blob
helm/coq-contribs/lambdadelta/web/basic_1_sum.tbl	[new file with mode: 0644]	blob
helm/coq-contribs/lambdadelta/web/ground_1.ldw.xml	[new file with mode: 0644]	blob
helm/coq-contribs/lambdadelta/web/ground_1_src.tbl	[new file with mode: 0644]	blob
helm/coq-contribs/lambdadelta/web/ground_1_sum.tbl	[new file with mode: 0644]	blob
helm/coq-contribs/lambdadelta_1/web/basic_1.ldw.xml	[deleted file]	blob \| history
helm/coq-contribs/lambdadelta_1/web/basic_1_blk.tbl	[deleted file]	blob \| history
helm/coq-contribs/lambdadelta_1/web/basic_1_src.tbl	[deleted file]	blob \| history
helm/coq-contribs/lambdadelta_1/web/basic_1_sum.tbl	[deleted file]	blob \| history
helm/coq-contribs/lambdadelta_1/web/ground_1.ldw.xml	[deleted file]	blob \| history
helm/coq-contribs/lambdadelta_1/web/ground_1_src.tbl	[deleted file]	blob \| history
helm/coq-contribs/lambdadelta_1/web/ground_1_sum.tbl	[deleted file]	blob \| history
helm/www/lambdadelta/download/lambdadelta.bib		diff \| blob \| history
helm/www/lambdadelta/download/lambdadelta.txt		diff \| blob \| history
helm/www/lambdadelta/download/lambdadelta_1.tar.gz	[deleted file]	blob \| history
helm/www/lambdadelta/download/lambdadelta_1A.tar.bz2	[new file with mode: 0644]	blob
helm/www/lambdadelta/download/lambdadelta_2A.tar.bz2	[new file with mode: 0644]	blob
helm/www/lambdadelta/download/lambdadelta_2A1.tar.gz	[deleted file]	blob \| history
helm/www/lambdadelta/download/lambdadelta_2B.tar.bz2		diff \| blob \| history
helm/www/lambdadelta/web/home/documentation_1.tbl		diff \| blob \| history
helm/www/lambdadelta/web/home/documentation_2.tbl		diff \| blob \| history
helm/www/lambdadelta/web/home/news.ldw.xml		diff \| blob \| history
helm/www/lambdadelta/web/home/specification.ldw.xml		diff \| blob \| history
matita/matita/contribs/lambdadelta/Makefile		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml		diff \| blob \| history

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

RSS Atom