]> matita.cs.unibo.it Git - helm.git/commit
milestone update in basic_2!
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 16 Apr 2013 19:52:17 +0000 (19:52 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 16 Apr 2013 19:52:17 +0000 (19:52 +0000)
commite7c0c79b866e9058d9b0a3d9a0eb4537fb6b87b1
tree1c406e905896870f658e65ee4a410b61e118b390
parent713673ecf863cb6187291f016ed4490b12a03ac0
milestone update in basic_2!
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html