]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/xslt/metadataControl.xsl
Major interface improvements.
[helm.git] / helm / on-line / xslt / metadataControl.xsl
index 82646bce7fa408290319e3a2bf2cb0ce6c15a970..de3ed9890cad5c0e81198323d4f6a1774a1e0da5 100644 (file)
 
 <xsl:include href="metadataLib.xsl"/>
 
-<xsl:template match="unresolved|url">
- <xsl:apply-templates mode="makelink" select=".">
-  <xsl:with-param name="name" select="$CICURI"/>
-  <xsl:with-param name="CICURI" select="$CICURI"/>
-  <xsl:with-param name="RDFURI" select="$CICURI"/>
- </xsl:apply-templates>
-</xsl:template>
-
 </xsl:stylesheet>