From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 9 Nov 2001 10:00:19 +0000 (+0000)
Subject: The body of the variables was not printed.
X-Git-Tag: v0_1_3~4
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d24f3e29b0d190f1887b25838bceb9f59ecf6686;p=helm.git

The body of the variables was not printed.
---

diff --git a/helm/style/content_to_html.xsl b/helm/style/content_to_html.xsl
index a9cc91a96..b5c7481bf 100644
--- a/helm/style/content_to_html.xsl
+++ b/helm/style/content_to_html.xsl
@@ -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>