]> matita.cs.unibo.it Git - helm.git/commit
more minor bugs fixed in the web site
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 30 Dec 2015 14:35:04 +0000 (14:35 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 30 Dec 2015 14:35:04 +0000 (14:35 +0000)
commit6b022cf2cccae67144ff045415e748b0b5c3a3d9
tree5bca5f5a3edccf45289cb41837cc92de6bf83a9b
parentede1e31f13510c51d42d7b0448d3cbff132ec70c
more minor bugs fixed in the web site
helm/www/lambdadelta/basic_1.html
helm/www/lambdadelta/documentation.html
helm/www/lambdadelta/ground_1.html
helm/www/lambdadelta/implementation.html
helm/www/lambdadelta/index.html
helm/www/lambdadelta/news.html
helm/www/lambdadelta/specification.html
helm/www/lambdadelta/xslt/ld_web_root.xsl