X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Fld_web.xsl;h=dd091dcd30927f8cf008d71a9c306648125b0bc8;hb=cc072ef7058246bbc0deaf3e44a75b0e5977df65;hp=288973806cb001899b188388bd0a1a9c7ecf8c94;hpb=65c5a379db69f0df0c803f4b24bb3219c9da752a;p=helm.git diff --git a/helm/www/lambdadelta/xslt/ld_web.xsl b/helm/www/lambdadelta/xslt/ld_web.xsl index 288973806..dd091dcd3 100644 --- a/helm/www/lambdadelta/xslt/ld_web.xsl +++ b/helm/www/lambdadelta/xslt/ld_web.xsl @@ -5,6 +5,7 @@ > +