]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 4 Oct 2013 13:37:34 +0000 (13:37 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 4 Oct 2013 13:37:34 +0000 (13:37 +0000)
commit4eebf1cf684c8a7946b71174ee6145673af49309
tree4d0c8bc9c0860bcd5a8c126bbe5231df4a3e7791
parentfdb2c62b58006b82c015ba70b494d50c7860e28f
update in basic_2
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html