]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/mmlextension.xsl
Bug nat_double_ind solved.
[helm.git] / helm / style / mmlextension.xsl
index 86675e553e48abf02c18c78ecf1043341445b65f..67859db656d243d62babbc0a06ecc6dea80cf792 100644 (file)
@@ -37,6 +37,7 @@
                               xmlns:helm="http://www.cs.unibo.it/helm">
 
 <xsl:import href="mml2mmlv1_0.xsl"/>
+<xsl:import href="mmltheoryextension.xsl"/>
 
 <!--***********************************************************************-->
 <!-- Parameter affecting line-breaking                                     -->
@@ -57,7 +58,9 @@
 <!--**********************-->
 
 <xsl:template match="/">
+ <!--
  <xsl:processing-instruction name="cocoon-format">type="text/xhtml"</xsl:processing-instruction>
+ -->
  <xsl:apply-templates select="*"/>
 </xsl:template>
 
          </m:mtr>
         </m:mtable>
       </xsl:when>
+      <!-- not existing any more
       <xsl:when test="$name='thread'">
         <m:mtable align="baseline 1" equalrows="false" columnalign="left">
          <m:mtr>
          </m:mtr>
         <xsl:apply-templates mode="thread" select="*[(last()-2)]"/> 
         </m:mtable>
-      </xsl:when> 
+      </xsl:when>
+      --> 
       <xsl:when test="$name='rewrite_and_apply'">
         <m:mtable align="baseline 1" equalrows="false" columnalign="left">
          <m:mtr>