]> matita.cs.unibo.it Git - helm.git/commit
we commit the web site again since last commit had some problems :(
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 9 Oct 2014 18:12:58 +0000 (18:12 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 9 Oct 2014 18:12:58 +0000 (18:12 +0000)
commit296f79ae045db68312a245e4111afb554561de42
tree9f9cefd1ed74a875436c6e08fa767c1e50a3f3ee
parent7f1b4a69c5a262a6d4b68922fe4cb9e7c931f4d4
we commit the web site again since last commit had some problems :(
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