]> matita.cs.unibo.it Git - helm.git/commit
lambdadelta_1: bugfix
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 16 Jan 2015 20:35:27 +0000 (20:35 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 16 Jan 2015 20:35:27 +0000 (20:35 +0000)
commitbfdaedc0ea2ee29ce9444ce1283a2642a86e8d86
tree446e91e6a79e6e7a14ea17757de907018aa9b99e
parentb01cc7ea6a6a931e3485fde7ec78b2c216918e11
lambdadelta_1: bugfix
Makefile: some improvements
helm/www/lambdadelta/Makefile
helm/www/lambdadelta/download/lambdadelta_1.tar.gz