X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Fld_web_library.xsl;h=e6b8df546d02b66cb978351787722cf7d74d44eb;hb=b4f76b0d8fa0e5365fb48e91474febe200b647a7;hp=0a497c7b0b29e6775edbc8ff0867596b8ce78ef8;hpb=cb0d4e730bd6ec9bed1018be37748120f740f0a9;p=helm.git
diff --git a/helm/www/lambdadelta/xslt/ld_web_library.xsl b/helm/www/lambdadelta/xslt/ld_web_library.xsl
index 0a497c7b0..e6b8df546 100644
--- a/helm/www/lambdadelta/xslt/ld_web_library.xsl
+++ b/helm/www/lambdadelta/xslt/ld_web_library.xsl
@@ -5,23 +5,11 @@
xmlns="http://www.w3.org/1999/xhtml"
>
-
-
-
-
@@ -30,13 +18,15 @@
-
+
+
+
-
+
-
+
-
+
-
+
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+