]> matita.cs.unibo.it Git - helm.git/commit
contrib update ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 5 Oct 2014 14:45:02 +0000 (14:45 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 5 Oct 2014 14:45:02 +0000 (14:45 +0000)
commit9b75ad80a3ee31314c02f113b255ad533a87d3d2
tree56f5e1083209f544cec75da9e3742d01f4616818
parent499eb9f9a3107c6ee4edd7b6830a1cc1b054bbe2
contrib update ...
13 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/download/lambdadelta_2.tar.gz
helm/www/lambdadelta/ground_2.html
helm/www/lambdadelta/implementation.html
helm/www/lambdadelta/index.html
helm/www/lambdadelta/news.html
helm/www/lambdadelta/version_1.html
helm/www/lambdadelta/version_2.html
helm/www/lambdadelta/web/home/documentation_2.tbl
helm/www/lambdadelta/web/home/version_2.ldw.xml