]> matita.cs.unibo.it Git - helm.git/commit
λδ web site update
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 30 Nov 2021 16:14:14 +0000 (17:14 +0100)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 30 Nov 2021 16:14:14 +0000 (17:14 +0100)
commit892b9ab8872169eaa596a5415f499ee7608cad67
tree4c48b53055a1379184a9a649ea7352aaee62acc5
parentcab35e3d6c09d266c1372b5cc9a0045578bae79b
λδ web site update

+ updated bibliography
helm/www/lambdadelta/download/lambdadelta.bib
helm/www/lambdadelta/download/lambdadelta.txt