]> matita.cs.unibo.it Git - helm.git/commit
minor web site update
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 22 Oct 2014 18:12:33 +0000 (18:12 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 22 Oct 2014 18:12:33 +0000 (18:12 +0000)
commitf10cfe417b6b8ec1c7ac85c6ecf5fb1b3fdf37db
tree6730cfb7a3d8508f27dfe29900fbabec6cf455e1
parent836e4f30514bceb27394604bbfbae31a62723dae
minor web site update
14 files changed:
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html
helm/www/lambdadelta/documentation.html
helm/www/lambdadelta/ground_2.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.ldw.xml
helm/www/lambdadelta/web/home/documentation_1.tbl
helm/www/lambdadelta/web/home/news.ldw.xml
helm/www/lambdadelta/web/home/specification.ldw.xml
helm/www/lambdadelta/web/home/versions.tbl