]> matita.cs.unibo.it Git - helm.git/commitdiff
Variable redefined. Fixed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 25 Feb 2004 11:27:00 +0000 (11:27 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 25 Feb 2004 11:27:00 +0000 (11:27 +0000)
helm/nuprl_stylesheets/nuprl_content_to_html2.xsl

index cc6e7c9cccee494274d07c21d7c12875924af0f7..ef15f1961ab592f13a804062a9e9a558cba2f7ea 100644 (file)
     </xsl:choose>
   </xsl:variable>
 <!--exists-->
-  <xsl:variable name="exists">
+  <xsl:variable name="NUPRLexists">
     <xsl:choose>
       <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">&#x24;</xsl:when>
       <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">&#8707;</xsl:when>
 
 <xsl:template mode="inline" match="m:apply[m:exists]">
                <xsl:call-template name="mksymbol">
-               <xsl:with-param name="symbol" select="$exists"/>
+               <xsl:with-param name="symbol" select="$NUPRLexists"/>
                <xsl:with-param name="color" select="'blue'"/>
                <xsl:with-param name="size" select="'+0'"/>
        </xsl:call-template>
        <xsl:choose>
        <xsl:when test="$charlength > $framewidth">
        <xsl:call-template name="mksymbol">
-               <xsl:with-param name="symbol" select="$exists"/>
+               <xsl:with-param name="symbol" select="$NUPRLexists"/>
                <xsl:with-param name="color" select="'blue'"/>
                <xsl:with-param name="size" select="'+0'"/>
        </xsl:call-template>