]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/link.xsl
* added popup menu, implemented some functions
[helm.git] / helm / style / link.xsl
index 48bb02b666624de7adceac129959f6b0575518aa..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>