X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Fld_web_library.xsl;h=e6b8df546d02b66cb978351787722cf7d74d44eb;hb=282936907bd9b37d9de37f14e0e497db16f5d8b0;hp=f7fcb332eb29aa43278dc60a84a8f5f9d426223f;hpb=049f6a9c248a1638495196e04cf17d30154d5de4;p=helm.git
diff --git a/helm/www/lambdadelta/xslt/ld_web_library.xsl b/helm/www/lambdadelta/xslt/ld_web_library.xsl
index f7fcb332e..e6b8df546 100644
--- a/helm/www/lambdadelta/xslt/ld_web_library.xsl
+++ b/helm/www/lambdadelta/xslt/ld_web_library.xsl
@@ -18,7 +18,7 @@
@@ -115,7 +115,7 @@
- ![]()
![OSN: Open Symbolic Notation [Open Symbolic Notation logo]]({$baseurl}images/osn_label.png)