]> matita.cs.unibo.it Git - helm.git/commitdiff
The body of the variables was not printed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 9 Nov 2001 10:00:19 +0000 (10:00 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 9 Nov 2001 10:00:19 +0000 (10:00 +0000)
helm/style/content_to_html.xsl

index a9cc91a961b0543df15f81d7abd11b10a6226824..b5c7481bf9590eb4a20a5c491dd937621cad6b12 100644 (file)
@@ -2165,6 +2165,12 @@ VARIABLE <xsl:value-of select="@name"/><br/>
 TYPE = <xsl:apply-templates select="type/*[1]">
           <xsl:with-param name="current_indent" select="$current_indent + 7"/>
        </xsl:apply-templates>
+<xsl:if test="body">
+<br/>
+BODY = <xsl:apply-templates select="body/*[1]">
+          <xsl:with-param name="current_indent" select="$current_indent + 7"/>
+       </xsl:apply-templates>
+</xsl:if>
 </p>
 </xsl:template>