]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 26 Oct 2013 17:49:10 +0000 (17:49 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 26 Oct 2013 17:49:10 +0000 (17:49 +0000)
commit9ffbf46176fb5f81768255992e46e69689663d69
tree25ede3d24f4102bdfd357a769497367cbd713060
parentb3c3ea1c87cbd7a87c8c29a276fc16f9ebbfb5bd
update in basic_2
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html