]> matita.cs.unibo.it Git - helm.git/commit
minor site update
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 12 Sep 2015 21:00:04 +0000 (21:00 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 12 Sep 2015 21:00:04 +0000 (21:00 +0000)
commit59c3713b93251505ba4e00b2695bffe2dfaf3bc7
treed2b3433d9442ab71dc20591f8efbc41b46f1b49e
parentf654fd9873d09435f10c91554e5b94bd44fd5850
minor site update
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/web/home/documentation_2.tbl
helm/www/lambdadelta/web/home/index.ldw.xml