From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 4 May 2001 11:44:50 +0000 (+0000)
Subject: ':' are noc quoted. I tried to quote them, but everything else
X-Git-Tag: v0_1_2~5
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b2765bc30d2a4662f8bde38650df6f77e3fe4d61;p=helm.git

':' are noc quoted. I tried to quote them, but everything else
broke down (and I don't really understand why: maybe we need
to decode something or uwobo gives the stylesheet a quoted URL?)
---

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)"/>