X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fdownload%2Flambdadelta_2A.tar.bz2;fp=helm%2Fwww%2Flambdadelta%2Fdownload%2Flambdadelta_2A.tar.bz2;h=456cecfc3615487d0bd6231396d063c34ce006ab;hb=1fd63df4c77f5c24024769432ea8492748b4ac79;hp=d82582bbc96e28f8160a56bac9130957087dd1eb;hpb=277fc8ff21ce3dbd6893b1994c55cf5c06a98355;p=helm.git

diff --git a/helm/www/lambdadelta/download/lambdadelta_2A.tar.bz2 b/helm/www/lambdadelta/download/lambdadelta_2A.tar.bz2
index d82582bbc..456cecfc3 100644
Binary files a/helm/www/lambdadelta/download/lambdadelta_2A.tar.bz2 and b/helm/www/lambdadelta/download/lambdadelta_2A.tar.bz2 differ