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=e6b8df546d02b66cb978351787722cf7d74d44eb;hpb=6864d67d5a0e5950a4d5f744866e89215e08ace0;p=helm.git
diff --git a/helm/www/lambdadelta/xslt/ld_web_library.xsl b/helm/www/lambdadelta/xslt/ld_web_library.xsl
index e6b8df546..60b060249 100644
--- a/helm/www/lambdadelta/xslt/ld_web_library.xsl
+++ b/helm/www/lambdadelta/xslt/ld_web_library.xsl
@@ -88,8 +88,16 @@
+
+
+
+
-
+
+
+