]> matita.cs.unibo.it Git - helm.git/commit
update in ground_2 ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 25 Nov 2013 14:45:30 +0000 (14:45 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 25 Nov 2013 14:45:30 +0000 (14:45 +0000)
commit3a9f692052e85ac6f00c9bfc83e4c672dc81fd6c
treee3cc73143ae02233c868ba6441a67fd96ba44539
parent50001ac0b45a3f6376e8cbfd9200149a01d68148
update in ground_2 ...
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html