]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 6 Feb 2013 20:58:01 +0000 (20:58 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 6 Feb 2013 20:58:01 +0000 (20:58 +0000)
commitbaba23b670cb20eb478975fa9cb419c7ae58f7bc
tree9c7a8e509a035fd7bdb6377ea16bb3c5c2538749
parent420a46d71dc2c9b7e88514a717ea9637b842ce6a
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