X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fxslt%2FmetadataLib.xsl;h=17050ea66ece75060b0a22e2c8f491670081cff9;hb=f277b17863953c96c944ca5101394b6a726abc8c;hp=9f5c0020c0481ccb92c21cd6184d4312ab6463a2;hpb=7af6bb6e640a44489bdab79a38300cf103e45bd4;p=helm.git

diff --git a/helm/on-line/xslt/metadataLib.xsl b/helm/on-line/xslt/metadataLib.xsl
index 9f5c0020c..17050ea66 100644
--- a/helm/on-line/xslt/metadataLib.xsl
+++ b/helm/on-line/xslt/metadataLib.xsl
@@ -6,6 +6,7 @@
 
 <xsl:import href="utils.xsl"/>
 <xsl:import href="show_dc.xsl"/>
+<xsl:import href="links_library.xsl"/>
 
 <xsl:param name="CICURI" select="''"/>
 <xsl:param name="getterURL" select="''"/>
@@ -34,7 +35,7 @@
    <script>
      var CICURI = "<xsl:value-of select="$CICURI"/>";
 <![CDATA[
-     document.write('<h1>Metadata of <a target="cic" href="' + mkCICURL(CICURI) + '">' + CICURI + '</a></h1>');
+     document.write('<h1>Metadata of <a href="' + mkCICURL(CICURI) + '">' + CICURI + '</a></h1>');
 ]]>
    </script>
    <xsl:apply-templates select="*"/>
@@ -54,20 +55,24 @@
 <xsl:template name="makelink">
  <xsl:param name="name" select="''"/>
  <xsl:param name="CICURI" select="''"/>
- <xsl:param name="RDFURI" select="''"/>
  <xsl:variable name="quotedCICURI">
   <xsl:call-template name="jsquote">
    <xsl:with-param name="s" select="$CICURI"/>
    <xsl:with-param name="times" select="2"/>
   </xsl:call-template>
  </xsl:variable>
+ <xsl:variable name="quotedCICURIforURL">
+  <xsl:call-template name="quote">
+   <xsl:with-param name="s" select="$CICURI"/>
+  </xsl:call-template>
+ </xsl:variable>
  <xsl:choose>
-  <xsl:when test="document(concat($BaseRDFURLBackward,$RDFURI))/*/*/*">
+  <xsl:when test="document(concat($BaseRDFURLBackward,$quotedCICURIforURL))/*/*/*">
    <p>
     <script>
      var CICURI = "<xsl:value-of select="$CICURI"/>";
 <![CDATA[
-     document.write('<a target="theory" href="' + mkMetaTheoryURL(CICURI) + '">View the objects depending on it.</a>');
+     document.write('<a href="' + mkMetaTheoryURL(CICURI) + '">View the objects depending on it.</a>');
 ]]>
     </script>
    </p>
@@ -87,7 +92,7 @@
  </xsl:choose>
 
  <xsl:choose>
-  <xsl:when test="document(concat($BaseRDFURLForward,$RDFURI))/*/*/*">
+  <xsl:when test="document(concat($BaseRDFURLForward,$quotedCICURIforURL))/*/*/*">
    <p>
     <!-- CSC: Cut & Paster from above ==> create a single javascript function -->
     <script>