X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fmmlextension.xsl;h=6e66736a32aeb8e1fc866033a8091fc511f028f7;hb=fb158d51c621e55962a6139d03cd1678cfb2e8f1;hp=86675e553e48abf02c18c78ecf1043341445b65f;hpb=26f5337108946df050f07c68ebe9bc07b1fde173;p=helm.git

diff --git a/helm/style/mmlextension.xsl b/helm/style/mmlextension.xsl
index 86675e553..6e66736a3 100644
--- a/helm/style/mmlextension.xsl
+++ b/helm/style/mmlextension.xsl
@@ -57,7 +57,9 @@
 <!--**********************-->
 
 <xsl:template match="/">
+ <!--
  <xsl:processing-instruction name="cocoon-format">type="text/xhtml"</xsl:processing-instruction>
+ -->
  <xsl:apply-templates select="*"/>
 </xsl:template>
 
@@ -1045,6 +1047,7 @@
          </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>
@@ -1065,7 +1068,8 @@
          </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>