X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fmmlextension.xsl;h=900dd4bf62fda76d26f9750cb2c91bb9106690e1;hb=f5a06d5c51c59dcfe432a3b4236f0a4189f031f6;hp=86675e553e48abf02c18c78ecf1043341445b65f;hpb=10c1185793af5ae402e7a4dbe016b72f5bb6c727;p=helm.git

diff --git a/helm/style/mmlextension.xsl b/helm/style/mmlextension.xsl
index 86675e553..900dd4bf6 100644
--- a/helm/style/mmlextension.xsl
+++ b/helm/style/mmlextension.xsl
@@ -1045,6 +1045,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 +1066,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>