X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fmmlextension.xsl;h=6e66736a32aeb8e1fc866033a8091fc511f028f7;hb=269da2552707ba218814a5430383c04ea650ba15;hp=900dd4bf62fda76d26f9750cb2c91bb9106690e1;hpb=d93b18135c3b086c2cfdf13814dc41a77ceb9954;p=helm.git

diff --git a/helm/style/mmlextension.xsl b/helm/style/mmlextension.xsl
index 900dd4bf6..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>