]> matita.cs.unibo.it Git - helm.git/commit
minor update in basic_2 ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 15 Sep 2014 14:18:47 +0000 (14:18 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 15 Sep 2014 14:18:47 +0000 (14:18 +0000)
commit7adeb2882d9841c0ab5b357f1652bd42800e77fc
tree6cdb4c9fbe6f3ecd3a4335c15f42a3aeb3893450
parent43282d3750af8831c8100c60d75c56fdfb7ff3c9
minor update in basic_2 ...
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html
helm/www/lambdadelta/documentation.html
helm/www/lambdadelta/download/lambdadelta_2.tar.gz
helm/www/lambdadelta/ground_2.html
helm/www/lambdadelta/implementation.html
helm/www/lambdadelta/index.html
helm/www/lambdadelta/news.html
helm/www/lambdadelta/version_1.html
helm/www/lambdadelta/version_2.html