]> matita.cs.unibo.it Git - helm.git/commit
updated web site
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 2 Dec 2019 12:42:43 +0000 (13:42 +0100)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 2 Dec 2019 12:42:43 +0000 (13:42 +0100)
commitcdb85e803cd6038352ec0a318285f96f42faf02d
tree8cb395c3f61ce30bc00b87d5978d91cdaff7a3f3
parent2ec8ae0a49716b205bbf63568ee625ec1e9eb524
updated web site

+ new preprint J2a
+ some improvements
helm/www/lambdadelta/Makefile
helm/www/lambdadelta/download/basic2a.pdf [deleted file]
helm/www/lambdadelta/download/gda.pdf [deleted file]
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
helm/www/lambdadelta/web/home/home.ldw.xml
helm/www/lambdadelta/web/home/specification.ldw.xml
helm/www/lambdadelta/xslt/ld_web_library.xsl