X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fstyle%2Flinks_library.xsl;h=f216db609b8795cd74936689b4028ea6e790c1f1;hb=b2765bc30d2a4662f8bde38650df6f77e3fe4d61;hp=d24c63f453fd1c173e808e2f774a1d7ab3b94273;hpb=b3214f0da40accb3464b0e924f51a09fb804de77;p=helm.git

diff --git a/helm/style/links_library.xsl b/helm/style/links_library.xsl
index d24c63f45..f216db609 100644
--- a/helm/style/links_library.xsl
+++ b/helm/style/links_library.xsl
@@ -100,6 +100,14 @@
       <xsl:with-param name="news" select="concat($news,'%2C')"/>
      </xsl:call-template>
     </xsl:when>
+<!--CSC: This breaks all the rest ;-)
+    <xsl:when test="$char = ':'">
+     <xsl:call-template name="quote">
+      <xsl:with-param name="s" select="substring($s,2)"/>
+      <xsl:with-param name="news" select="concat($news,'%3A')"/>
+     </xsl:call-template>
+    </xsl:when>
+-->
     <xsl:otherwise>
      <xsl:call-template name="quote">
       <xsl:with-param name="s" select="substring($s,2)"/>