]> matita.cs.unibo.it Git - helm.git/commit
partial update in basic_2 ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 10 May 2013 16:19:46 +0000 (16:19 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 10 May 2013 16:19:46 +0000 (16:19 +0000)
commit8ef39aa169a7f3b02372b9e5b4ab58905a08b690
tree16e8dd79f8e5c445ce2eb09aeb8ef1974d1713e2
parent7d2817401273978654ca725fb3794a4a465a93bb
partial update in basic_2 ...
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html