X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Fld_web_root.xsl;h=50fde7a78d49e5ca6a9d6582a34197e83cbf6e49;hb=325319a6c28fd8c3992cdb0be745b0c7ca8651c3;hp=a2bb7d14dd01e409496243987a1905cbaab08753;hpb=4b72bec9d6fc7970cf4a2bc4a1fc4060e71af3f2;p=helm.git

diff --git a/helm/www/lambdadelta/xslt/ld_web_root.xsl b/helm/www/lambdadelta/xslt/ld_web_root.xsl
index a2bb7d14d..50fde7a78 100644
--- a/helm/www/lambdadelta/xslt/ld_web_root.xsl
+++ b/helm/www/lambdadelta/xslt/ld_web_root.xsl
@@ -42,6 +42,16 @@
    </div>
 </xsl:template>
 
+<xsl:template match="ld:section6">
+   <div class="head2dx" id="{@name}">
+      <xsl:apply-templates/>
+      <xsl:call-template name="sp"/>
+      <xsl:call-template name="butterfly">
+         <xsl:with-param name="name" select="6"/>
+      </xsl:call-template>
+   </div>
+</xsl:template>
+
 <xsl:template match="ld:section9">
    <div class="head2dx" id="{@name}">
       <xsl:apply-templates/>