]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/xml/ld-html-entity.xsl
some inprovements on the generated html pages
[helm.git] / helm / software / lambda-delta / xml / ld-html-entity.xsl
index ac30dacbf2c19930f5b5caefacb43d8e4abbcb86..84eea2c2304e860cf29d12ed35358e53eff478b7 100644 (file)
@@ -20,6 +20,7 @@
       <xsl:text>Declaration:</xsl:text>
       <xsl:call-template name="entity"/>
    </h2>
+   <xsl:call-template name="META"/>
    <div><xsl:apply-templates/></div>
 </xsl:template>
 
@@ -28,6 +29,7 @@
       <xsl:text>Definition:</xsl:text>
       <xsl:call-template name="entity"/>
    </h2>
+   <xsl:call-template name="META"/>
    <div><xsl:apply-templates/></div>
 </xsl:template>