]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/link.xsl
Initial revision
[helm.git] / helm / style / link.xsl
index ba22dea1225fe75d7c735a0e34980645e013abec..e3568a18ffb386ca03acc26471127570a4115197 100644 (file)
@@ -48,8 +48,8 @@ xlink:href) -->
 <xsl:template match = "*" mode="semantics">
   <xsl:copy>
    <xsl:copy-of select="@*"/>
-   <xsl:if test="@m:xref">
-    <xsl:variable name="cnode" select="key('id',@m:xref)"/>
+   <xsl:if test="@xref">
+    <xsl:variable name="cnode" select="key('id',@xref)"/>
     <xsl:if test="$cnode/@definitionURL"> 
      <xsl:attribute name="xlink:href">
       <xsl:call-template name="makeURL"><xsl:with-param name="uri" select="$cnode/@definitionURL"/></xsl:call-template>
@@ -116,4 +116,3 @@ xlink:href) -->
 </xsl:template>
 
 </xsl:stylesheet> 
-