X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Fld_web_library.xsl;h=f7fcb332eb29aa43278dc60a84a8f5f9d426223f;hb=049f6a9c248a1638495196e04cf17d30154d5de4;hp=ad10ba2eb5edea514bedc4adfeec3b489e31f4d4;hpb=f39d53ed5f2a11cacbfabf5348e01b47d19479e5;p=helm.git
diff --git a/helm/www/lambdadelta/xslt/ld_web_library.xsl b/helm/www/lambdadelta/xslt/ld_web_library.xsl
index ad10ba2eb..f7fcb332e 100644
--- a/helm/www/lambdadelta/xslt/ld_web_library.xsl
+++ b/helm/www/lambdadelta/xslt/ld_web_library.xsl
@@ -138,6 +138,14 @@
/>
+
+
+
+
@@ -163,6 +171,9 @@
+
+
+