]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/objcontent.xsl
Modified Files:
[helm.git] / helm / style / objcontent.xsl
index 333a1ef9b537ec0cea29c2a304907a73cd4169f8..4ab19c854ba8aa8f59bd7a162e82f8e999e9b3d7 100644 (file)
 
 <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>