]> matita.cs.unibo.it Git - helm.git/commitdiff
FIX body bug fixed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 3 Nov 2000 09:20:12 +0000 (09:20 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 3 Nov 2000 09:20:12 +0000 (09:20 +0000)
helm/style/content.xsl

index 24b97e6e6f738697a19dcb14800b8ab77a5628ec..ae4a1a812c27c94909f768f3a1e42f42296ba423 100644 (file)
@@ -240,7 +240,7 @@ della rappresentazione interna.
      <xsl:variable name="findex"><xsl:value-of select="@noFun"/></xsl:variable>
      <m:csymbol>fix</m:csymbol>
      <m:ci><xsl:value-of select="FixFunction[position()=number($findex)+1]/@name"/></m:ci>
-     <xsl:apply-templates mode="noannot" select="*"/>
+     <xsl:apply-templates mode="pure" select="*"/>
     </m:apply>
 </xsl:template>
 
@@ -249,7 +249,7 @@ della rappresentazione interna.
      <xsl:variable name="findex"><xsl:value-of select="@noFun"/></xsl:variable>
      <m:csymbol>cofix</m:csymbol>
      <m:ci><xsl:value-of select="CofixFunction[position()=number($findex)+1]/@name"/></m:ci>
-     <xsl:apply-templates mode="noannot" select="*"/>
+     <xsl:apply-templates mode="pure" select="*"/>
     </m:apply>
 </xsl:template>