X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fdownload%2Flddl.tar.bz2;h=0237443ce5ebacac799d4b1897d7973a3c611770;hb=03401922e645207c7b64b52e1c4349f7951fcf71;hp=0f326238846351ed58ad4de55298112a2e32ab0e;hpb=2a5e0b799cd6aae5d920c67a5ddc9d9888cf7e80;p=helm.git

diff --git a/helm/www/lambdadelta/download/lddl.tar.bz2 b/helm/www/lambdadelta/download/lddl.tar.bz2
index 0f3262388..0237443ce 100644
Binary files a/helm/www/lambdadelta/download/lddl.tar.bz2 and b/helm/www/lambdadelta/download/lddl.tar.bz2 differ