X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Fld_web_library.xsl;h=60b0602495b5e5b5e5222600e66abaa38ae05e25;hb=3bf7a0b4185dbffe5b822c907956acdbe2d1c559;hp=b72f25fd1b27d5236e62cced9db533c25a43dc16;hpb=ed87c2c166f9f5db2729772e55154d7858dae4d6;p=helm.git
diff --git a/helm/www/lambdadelta/xslt/ld_web_library.xsl b/helm/www/lambdadelta/xslt/ld_web_library.xsl
index b72f25fd1..60b060249 100644
--- a/helm/www/lambdadelta/xslt/ld_web_library.xsl
+++ b/helm/www/lambdadelta/xslt/ld_web_library.xsl
@@ -88,8 +88,16 @@
+
+
+
+
-
-
+
+
+