]> matita.cs.unibo.it Git - helm.git/commitdiff
xref and href added to m:ci containing presentation markup
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 4 Dec 2000 18:41:32 +0000 (18:41 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 4 Dec 2000 18:41:32 +0000 (18:41 +0000)
helm/style/mml2mmlv1_0.xsl

index a29d6019cac7b85324c76742f6c4d38642a161b6..c4210dd3cafca81099317ab9e65a6d75f2fbf5af 100644 (file)
    </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>