]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 15 Feb 2013 14:21:51 +0000 (14:21 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 15 Feb 2013 14:21:51 +0000 (14:21 +0000)
commit5cf322d1dd867701a2ef715f499f482f0b3d56aa
tree2a6ed3d09fab87faa412dfcce4b3a6e7538ddc92
parent18bc3082b332504f60345245e716b62ae628e3a7
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