]> matita.cs.unibo.it Git - helm.git/commitdiff
Small bug fixed:
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 5 Nov 2001 08:56:25 +0000 (08:56 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 5 Nov 2001 08:56:25 +0000 (08:56 +0000)
 * xsl-import not first instruction
 * $id ==> @id

helm/style/mk_dep_graph.xsl
helm/style/mk_meta_graph.xsl
helm/style/mmlextension.xsl

index 14b8e354bba0b82f9b635b9d944ad5445fdd47ef..d06bc2fb8d2a3a26b908a9ec27b4de10acef172a 100644 (file)
@@ -30,9 +30,9 @@
  <!-- removed to keep the final URL short enought to make I.E.   -->
  <!-- work with it.                                              -->
 
+ <xsl:import href="mk_meta_and_dep_graph.xsl"/>
+
  <xsl:variable name="base_RDF_URI" select="'helm:rdf:www.cs.unibo.it/helm/rdf/forward//'"/>
  <xsl:variable name="link_direction" select="''"/>
 
- <xsl:import href="mk_meta_and_dep_graph.xsl"/>
-
 </xsl:stylesheet>
index 4ed50c728b9b74ca93382ce9a7a98dd975bbef28..b4e78454959c5f4b359b281aad6d946a1eef6ec4 100644 (file)
@@ -30,9 +30,9 @@
  <!-- removed to keep the final URL short enought to make I.E.   -->
  <!-- work with it.                                              -->
 
+ <xsl:import href="mk_meta_and_dep_graph.xsl"/>
+
  <xsl:variable name="base_RDF_URI" select="'helm:rdf:www.cs.unibo.it/helm/rdf/backward//'"/>
  <xsl:variable name="link_direction" select="' [dir=back]'"/>
 
- <xsl:import href="mk_meta_and_dep_graph.xsl"/>
-
 </xsl:stylesheet>
index d0c8555b39ac48df5c4a91c1469350ffcff0dfdb..049398f9a9539c1d1492d252ad507cd49897e2c2 100644 (file)
@@ -1536,8 +1536,8 @@ which generates the toplevel element (see for instance xlink) -->
         <m:mo stretchy="false">[</m:mo>
         <xsl:apply-templates select="*[4]"/>
         <m:mo mathcolor="green">
-         <xsl:if test="$id != ''">
-          <xsl:attribute name="m:xref"><xsl:value-of select="$id"/></xsl:attribute>
+         <xsl:if test="@id != ''">
+          <xsl:attribute name="m:xref"><xsl:value-of select="@id"/></xsl:attribute>
          </xsl:if>&#8592;</m:mo>
         <xsl:apply-templates select="*[2]"/>
         <m:mo stretchy="false">]</m:mo>
@@ -1546,8 +1546,8 @@ which generates the toplevel element (see for instance xlink) -->
       <xsl:when test="$name='lift'">
         <m:msup>
          <m:mo mathcolor="green">
-          <xsl:if test="$id != ''">
-           <xsl:attribute name="m:xref"><xsl:value-of select="$id"/></xsl:attribute>
+          <xsl:if test="@id != ''">
+           <xsl:attribute name="m:xref"><xsl:value-of select="@id"/></xsl:attribute>
           </xsl:if>&#8593;</m:mo>
         <xsl:apply-templates select="*[2]"/>
         </m:msup>
@@ -1561,8 +1561,8 @@ which generates the toplevel element (see for instance xlink) -->
       <xsl:when test="$name='lift_with_base'">
         <m:msubsup>
          <m:mo mathcolor="green">
-          <xsl:if test="$id != ''">
-           <xsl:attribute name="m:xref"><xsl:value-of select="$id"/></xsl:attribute>
+          <xsl:if test="@id != ''">
+           <xsl:attribute name="m:xref"><xsl:value-of select="@id"/></xsl:attribute>
           </xsl:if>&#8593;</m:mo>
         <xsl:apply-templates select="*[3]"/>
         <xsl:apply-templates select="*[4]"/>
@@ -1578,8 +1578,8 @@ which generates the toplevel element (see for instance xlink) -->
         <xsl:apply-templates select="*[2]"/>
         <m:munder>
          <m:mo mathcolor="green">
-          <xsl:if test="$id != ''">
-           <xsl:attribute name="m:xref"><xsl:value-of select="$id"/></xsl:attribute>
+          <xsl:if test="@id != ''">
+           <xsl:attribute name="m:xref"><xsl:value-of select="@id"/></xsl:attribute>
           </xsl:if>&#8594;</m:mo>
           <m:mi mathcolor="green">&#946;</m:mi>
         </m:munder>
@@ -1590,8 +1590,8 @@ which generates the toplevel element (see for instance xlink) -->
         <xsl:apply-templates select="*[2]"/>
         <m:munderover>
          <m:mo mathcolor="green">
-          <xsl:if test="$id != ''">
-           <xsl:attribute name="m:xref"><xsl:value-of select="$id"/></xsl:attribute>
+          <xsl:if test="@id != ''">
+           <xsl:attribute name="m:xref"><xsl:value-of select="@id"/></xsl:attribute>
           </xsl:if>&#8594;</m:mo>
           <m:mi mathcolor="green">&#946;</m:mi>
           <m:mi mathcolor="green">*</m:mi>
@@ -1603,8 +1603,8 @@ which generates the toplevel element (see for instance xlink) -->
         <xsl:apply-templates select="*[2]"/>
         <m:munder>
          <m:mo mathcolor="green">
-          <xsl:if test="$id != ''">
-           <xsl:attribute name="m:xref"><xsl:value-of select="$id"/></xsl:attribute>
+          <xsl:if test="@id != ''">
+           <xsl:attribute name="m:xref"><xsl:value-of select="@id"/></xsl:attribute>
           </xsl:if>&#8658;</m:mo>
           <m:mi mathcolor="green">&#946;</m:mi>
         </m:munder>
@@ -1615,8 +1615,8 @@ which generates the toplevel element (see for instance xlink) -->
         <xsl:apply-templates select="*[2]"/>
         <m:munderover>
          <m:mo mathcolor="green">
-          <xsl:if test="$id != ''">
-           <xsl:attribute name="m:xref"><xsl:value-of select="$id"/></xsl:attribute>
+          <xsl:if test="@id != ''">
+           <xsl:attribute name="m:xref"><xsl:value-of select="@id"/></xsl:attribute>
           </xsl:if>&#8658;</m:mo>
           <m:mi mathcolor="green">&#946;</m:mi>
           <m:mi mathcolor="green">*</m:mi>
@@ -1626,8 +1626,8 @@ which generates the toplevel element (see for instance xlink) -->
       <!-- forgetful -->
       <xsl:when test="$name='forgetful'">
        <m:mfenced open="|" close="|">
-        <xsl:if test="$id != ''">
-         <xsl:attribute name="m:xref"><xsl:value-of select="$id"/></xsl:attribute>
+        <xsl:if test="@id != ''">
+         <xsl:attribute name="m:xref"><xsl:value-of select="@id"/></xsl:attribute>
         </xsl:if>
         <xsl:apply-templates select="*[2]"/>
        </m:mfenced>
@@ -1636,16 +1636,16 @@ which generates the toplevel element (see for instance xlink) -->
       <xsl:when test="$name='isomorphic'">
         <xsl:apply-templates select="*[2]"/>
         <m:mo mathcolor="green">
-         <xsl:if test="$id != ''">
-          <xsl:attribute name="m:xref"><xsl:value-of select="$id"/></xsl:attribute>
+         <xsl:if test="@id != ''">
+          <xsl:attribute name="m:xref"><xsl:value-of select="@id"/></xsl:attribute>
          </xsl:if>&#8773;</m:mo>
         <xsl:apply-templates select="*[3]"/>
       </xsl:when>
       <!-- interp -->
       <xsl:when test="$name='forgetful'">
        <m:mfenced open="[" close="]">
-        <xsl:if test="$id != ''">
-         <xsl:attribute name="m:xref"><xsl:value-of select="$id"/></xsl:attribute>
+        <xsl:if test="@id != ''">
+         <xsl:attribute name="m:xref"><xsl:value-of select="@id"/></xsl:attribute>
         </xsl:if>
         <xsl:apply-templates select="*[2]"/>
        </m:mfenced>