]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 28 Jan 2013 18:35:43 +0000 (18:35 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 28 Jan 2013 18:35:43 +0000 (18:35 +0000)
commite1f8310bce558bdf2c0bd24666b6e1bb1794e10c
tree1ed04fca460ee2fcaffc7b46e6fcfd20cd1ddacb
parentfba384e357ed3c8781fc018c2c16f2b40df144af
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