]> matita.cs.unibo.it Git - helm.git/commit
update in web site and basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 24 Feb 2014 19:01:20 +0000 (19:01 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 24 Feb 2014 19:01:20 +0000 (19:01 +0000)
commit22d35425b8f5f7e479db3be59b73f76d77ae6711
tree6610b485216a6b240f45e48a3f95ee1a1a821ae6
parentf7994db705d6c1200cc3e9f1827b7d9f6d0ad001
update in web site and basic_2
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html
helm/www/lambdadelta/ground_2.html
helm/www/lambdadelta/implementation.html
helm/www/lambdadelta/index.html