]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/html_set.xsl
- shows also version in usage string
[helm.git] / helm / style / html_set.xsl
index 900329f795c394025548cb8e03f6ac2134e450a9..4003d258c48339b7a20b3e1a3fdb64242007a6f8 100644 (file)
 
  <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">
   <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">