X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fstyle%2Fhtml_set.xsl;h=3bff65d2be918111d2bf44f7de7e8635d213a216;hb=fb158d51c621e55962a6139d03cd1678cfb2e8f1;hp=a8511d65d66596a990fe3d580c48742d99fa82bc;hpb=b564f0671c133928e372e352d972a7663b6a9136;p=helm.git

diff --git a/helm/style/html_set.xsl b/helm/style/html_set.xsl
index a8511d65d..3bff65d2b 100644
--- a/helm/style/html_set.xsl
+++ b/helm/style/html_set.xsl
@@ -39,9 +39,9 @@
 <!-- SET -->
 
  <xsl:template mode="inline" match="m:set">
-  <xsl:variable name="uri">
-   <xsl:value-of select="concat(string($absPath), @definitionURL)"/>
-  </xsl:variable>
+  <xsl:variable name="uri" select="@definitionURL"/>
+<!--   <xsl:value-of select="concat(string($absPath), @definitionURL)"/>
+  </xsl:variable>-->
   <xsl:choose>
    <xsl:when test="count(child::*) = 0">
     <FONT FACE="symbol" mathcolor="blue">&#198;</FONT>
@@ -121,12 +121,7 @@
   </xsl:variable>
   <xsl:text>(</xsl:text>
   <xsl:apply-templates mode="inline" select="*[2]"/>
-  <a>
-   <xsl:attribute name="href">
-    <xsl:call-template name="makeURL">
-     <xsl:with-param name="url" select="$uri"/>
-    </xsl:call-template>
-   </xsl:attribute>
+  <a href="{$uri}">
    <FONT FACE="symbol" mathcolor="blue">
     <xsl:value-of select="$symbol"/>
    </FONT>
@@ -182,15 +177,10 @@
      <xsl:call-template name="make_indent">
       <xsl:with-param name="current_indent" select="$current_indent + 2"/> 
      </xsl:call-template>
-     <a>
-     <xsl:attribute name="href">
-      <xsl:call-template name="makeURL">
-       <xsl:with-param name="url" select="$uri"/>
-      </xsl:call-template>
-     </xsl:attribute>
-     <FONT FACE="symbol" mathcolor="blue">
-      <xsl:value-of select="$symbol"/>
-     </FONT>
+     <a href="{$uri}">
+      <FONT FACE="symbol" mathcolor="blue">
+       <xsl:value-of select="$symbol"/>
+      </FONT>
      </a>
      <xsl:apply-templates select="*[3]">
       <xsl:with-param name="current_indent" select="$current_indent + 2"/>
@@ -209,9 +199,9 @@
  <xsl:template match="m:set">
   <xsl:param name="current_indent" select="0"/> 
   <xsl:param name="width" select="$framewidth"/>
-  <xsl:variable name="uri">
-   <xsl:value-of select="concat(string($absPath), @definitionURL)"/>
-  </xsl:variable>
+  <xsl:variable name="uri" select="@definitionURL"/>
+<!--   <xsl:value-of select="concat(string($absPath), @definitionURL)"/>
+  </xsl:variable>-->
   <xsl:choose>
    <xsl:when test="count(child::*) = 0">
     <FONT FACE="symbol" mathcolor="blue">&#198;</FONT>