]> matita.cs.unibo.it Git - helm.git/commit
λδ web site update
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 7 Dec 2020 22:39:56 +0000 (23:39 +0100)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 7 Dec 2020 22:39:56 +0000 (23:39 +0100)
commit48960c13bc55f37499872feb426ed2c5da4333f0
tree6243adcb600eb5938404a63e2bf774c53c1b8061
parent9bdda2beaa7b0f836e3700a2e2458761e8eee06d
λδ web site update

+ documentation updated
helm/www/lambdadelta/download/lambdadelta.bib
helm/www/lambdadelta/download/lambdadelta.txt
helm/www/lambdadelta/web/home/documentation.ldw.xml
helm/www/lambdadelta/web/home/documentation_2.tbl