]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 6 Oct 2013 11:51:04 +0000 (11:51 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 6 Oct 2013 11:51:04 +0000 (11:51 +0000)
commit79340579023e8e6ee8338da90e2aa9eb3d1fc633
tree85aef1d263ae22b5bd961cb8c0fa30c0128034a1
parentc28e3d93b588796bfbbfd6b2ec9dd86f405b2b00
update in basic_2
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html