<xsl:template match="Variable" mode="noannot">
<Variable name="{@name}" helm:xref="{@id}">
+ <xsl:if test="name(*[1])='body'">
+ <body>
+ <xsl:apply-templates select="body/*"/>
+ </body>
+ </xsl:if>
<type>
<xsl:apply-templates select="type/*"/>
</type>
</xsl:when>
<xsl:otherwise>
<Param name="{target/@binder}">
- <xsl:apply-templates select="source" mode="noannot"/>
+ <xsl:apply-templates select="source"/>
</Param>
</xsl:otherwise>
</xsl:choose>
<xsl:when test="($target = 1) and ($noparams != 0)">
<m:apply>
<m:csymbol>app</m:csymbol>
- <xsl:apply-templates select="." mode="noannot"/>
+ <xsl:apply-templates select="."/>
<xsl:call-template name="printparam"><xsl:with-param name="noleft" select="$noparams"/></xsl:call-template>
</m:apply>
</xsl:when>
</xsl:when>
<xsl:otherwise>
<xsl:if test="$target = 1">
- <xsl:apply-templates select="." mode="noannot"/>
+ <xsl:apply-templates select="."/>
</xsl:if>
</xsl:otherwise>
</xsl:choose>