From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 6 Dec 2002 14:57:28 +0000 (+0000)
Subject: ...
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f9f18c438f3fdf8b9077a4458d20551f296a37a8;p=helm.git

...
---

diff --git a/helm/style/content.xsl b/helm/style/content.xsl
index 1be668bb0..001ff876d 100644
--- a/helm/style/content.xsl
+++ b/helm/style/content.xsl
@@ -327,7 +327,9 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
 <xsl:template match="instantiate" mode="pure">
 	<m:apply>
          <xsl:if test="@id">
-          <xsl:attribute name="helm:xref" select="@id"/>
+          <xsl:attribute name="helm:xref">
+	   <xsl:value-of select="@id"/>
+          </xsl:attribute>
          </xsl:if>
 	 <m:csymbol>inst</m:csymbol>
 	 <xsl:apply-templates mode="noannot" select="*[1]" />