]> matita.cs.unibo.it Git - helm.git/commit
news update and some bugs fixed
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 5 Mar 2015 15:54:46 +0000 (15:54 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 5 Mar 2015 15:54:46 +0000 (15:54 +0000)
commite36a0eced135e6f1b79d06c78a408918f65376b6
treee679d419bcd6ae5441b648d78badfbca6b724ef0
parent7efd72a7efa0e709d6395b2020a7995f7d3a2f89
news update and some bugs fixed
helm/www/lambdadelta/basic_1.html
helm/www/lambdadelta/css/ld_web.css
helm/www/lambdadelta/news.html
helm/www/lambdadelta/web/home/news.ldw.xml