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=9aecee1bdaa8a2e5ed05e093b23584550c7b42db;hpb=68b4f2490c12139c03760b39895619e63b0f38c9;p=helm.git

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