X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fhtml_set.xsl;h=4003d258c48339b7a20b3e1a3fdb64242007a6f8;hb=f41a5585a648d57e4d8a24d664b0a5ce5d591148;hp=900329f795c394025548cb8e03f6ac2134e450a9;hpb=19681f7b0c71fbb8c9e3442c0880533731094046;p=helm.git

diff --git a/helm/style/html_set.xsl b/helm/style/html_set.xsl
index 900329f79..4003d258c 100644
--- a/helm/style/html_set.xsl
+++ b/helm/style/html_set.xsl
@@ -110,8 +110,6 @@
 
  <xsl:template mode="inline" match="m:set">
   <xsl:variable name="uri" select="@definitionURL"/>
-<!--   <xsl:value-of select="concat(string($absPath), @definitionURL)"/>
-  </xsl:variable>-->
   <xsl:choose>
    <xsl:when test="count(child::*) = 0">
     <xsl:call-template name="mksymbol">
@@ -294,8 +292,6 @@
   <xsl:param name="current_indent" select="0"/> 
   <xsl:param name="width" select="$framewidth"/>
   <xsl:variable name="uri" select="@definitionURL"/>
-<!--   <xsl:value-of select="concat(string($absPath), @definitionURL)"/>
-  </xsl:variable>-->
   <xsl:choose>
    <xsl:when test="count(child::*) = 0">
     <xsl:call-template name="mksymbol">