From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 4 Dec 2000 18:41:32 +0000 (+0000)
Subject: xref and href added to m:ci containing presentation markup
X-Git-Tag: nogzip~109
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=74a3955496a8df761d1c08f9c731dbcad03f00f7;p=helm.git

xref and href added to m:ci containing presentation markup
---

diff --git a/helm/style/mml2mmlv1_0.xsl b/helm/style/mml2mmlv1_0.xsl
index a29d6019c..c4210dd3c 100644
--- a/helm/style/mml2mmlv1_0.xsl
+++ b/helm/style/mml2mmlv1_0.xsl
@@ -370,7 +370,10 @@
    </m:mi>
   </xsl:when>
   <xsl:otherwise>
-   <xsl:copy-of select="*"/>
+   <m:mrow>
+    <xsl:call-template name="insert"/>
+    <xsl:copy-of select="*"/>
+   </m:mrow>
   </xsl:otherwise>
  </xsl:choose>
     </xsl:otherwise>