X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Findex.ldw.xml;h=a7e9b670247ec2eb39bd9f57bafc19a2cd75071d;hb=b4b18a8f2c3f33fe49edef3bc8068332edf299e2;hp=c5004f36a57a76361bcd130e295deb83604937d9;hpb=503426723b9fc786c69dc988d38726997ecb809a;p=helm.git
diff --git a/helm/www/lambdadelta/web/home/index.ldw.xml b/helm/www/lambdadelta/web/home/index.ldw.xml
index c5004f36a..a7e9b6702 100644
--- a/helm/www/lambdadelta/web/home/index.ldw.xml
+++ b/helm/www/lambdadelta/web/home/index.ldw.xml
@@ -86,7 +86,7 @@