]> matita.cs.unibo.it Git - helm.git/commit
one table was nissing ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 7 Feb 2013 19:54:16 +0000 (19:54 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 7 Feb 2013 19:54:16 +0000 (19:54 +0000)
commitcb063199a8fa9d492fec1df64ddcad4503f0c9ee
tree1c0f7208645a36a4bf4c8714ec00dc9b760e3144
parent03e9a07b37a7e372f8ee88071b05bd3f49a0b368
one table was nissing ...
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html