]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 8 Jun 2013 20:22:59 +0000 (20:22 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 8 Jun 2013 20:22:59 +0000 (20:22 +0000)
commit68a413ec8a20ef0d73fcd5810be7db659abe6f92
tree6808d691b5466a01b7d6ec1df0984c6a2f29ff4e
parent2368e490e9b948097cee58ae7c9d4915d1c3746f
update in basic_2
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html