From: Irene Schena <irene.schena@unibo.it>
Date: Fri, 27 Jul 2001 10:06:04 +0000 (+0000)
Subject: Modified Files:
X-Git-Tag: v0_1_3~96
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=06699deb3cda1102045062c5e54ac3de11e0c565;p=helm.git

Modified Files:
1) mmlextension.xsl: m:xref fixed
---

diff --git a/helm/style/mmlextension.xsl b/helm/style/mmlextension.xsl
index c33176a71..75c8a745b 100644
--- a/helm/style/mmlextension.xsl
+++ b/helm/style/mmlextension.xsl
@@ -1712,7 +1712,12 @@ which generates the toplevel element (see for instance xlink) -->
 
 <xsl:template match="m:lambda">
     <xsl:variable name="charlength"><xsl:apply-templates select="*[position()=1]" mode="charcount"/></xsl:variable>
-    <m:mrow m:xref="{@id}">
+    <m:mrow>
+     <xsl:if test="@id">
+      <xsl:attribute name="m:xref">
+       <xsl:value-of select="@id"/>
+      </xsl:attribute>
+     </xsl:if>
      <xsl:choose>
      <xsl:when test="$charlength >= $framewidth">
       <m:mtable align="baseline 1" equalrows="false" columnalign="left">