Tempative version: every link is now opened in a new window.

[helm.git] / helm / on-line / xslt / metadataLib.xsl

diff --git a/helm/on-line/xslt/metadataLib.xsl b/helm/on-line/xslt/metadataLib.xsl
index bb7346196c67c95a6808253094f036feac2edd75..17050ea66ece75060b0a22e2c8f491670081cff9 100644 (file)
--- a/helm/on-line/xslt/metadataLib.xsl
+++ b/helm/on-line/xslt/metadataLib.xsl
@@ -35,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="*"/>
@@ -72,7 +72,7 @@
     <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>