]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2 ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 18 Apr 2014 19:10:45 +0000 (19:10 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 18 Apr 2014 19:10:45 +0000 (19:10 +0000)
commit548f2d3f410c05e2eb332f5c2d074f5e6c6985e1
treedd4f310a13182984e88676a014ee5fc3407c15d4
parentf282b35b958c9602fb1f47e5677b5805a046ac76
update in 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