X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fdownload%2Flambdadelta_ground.tar.bz2;h=bdc1ebb3512b11b35aa78b1b68790e4c9ec14a82;hb=3bc50da0628f7ff190c7d5ba7c3b96a7706eb823;hp=8cc8f8814c5687c4ee0c723071b30278e3c7123c;hpb=1fd63df4c77f5c24024769432ea8492748b4ac79;p=helm.git

diff --git a/helm/www/lambdadelta/download/lambdadelta_ground.tar.bz2 b/helm/www/lambdadelta/download/lambdadelta_ground.tar.bz2
index 8cc8f8814..bdc1ebb35 100644
Binary files a/helm/www/lambdadelta/download/lambdadelta_ground.tar.bz2 and b/helm/www/lambdadelta/download/lambdadelta_ground.tar.bz2 differ