]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 22 Feb 2013 21:54:29 +0000 (21:54 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 22 Feb 2013 21:54:29 +0000 (21:54 +0000)
commit7cdb8e166b4f74dc6ddd39c7ca332e618b2bd960
tree3ea39ceda9783e35e1ee51dcc65a7464ffd19a1d
parentac7479f9a292448d12761da4345d668d74b8d308
update in basic_2
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html
helm/www/lambdadelta/web/home/basic_2_src.tbl