]> matita.cs.unibo.it Git - helm.git/commit
- contrib update for version 2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 10 Sep 2014 19:49:35 +0000 (19:49 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 10 Sep 2014 19:49:35 +0000 (19:49 +0000)
commitbb1a03359dfaea6031592d28b9bfb15d797c44e5
tree72f6906bb29485a2b5f3b2a0c00eebfdc3211304
parentb2aa3d637ec0e530a37748f2832ac45967965b7a
- contrib update for version 2
- update in basic_2
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