From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 29 Jun 2001 14:33:49 +0000 (+0000)
Subject: First completely working interface for metadata.
X-Git-Tag: v0_1_3~117
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2306f909a07446484846c88330e0aa8490d8ac1b;hp=e0b82162b9c15732848a13978bb521e325e81158;p=helm.git

First completely working interface for metadata.
---

diff --git a/helm/on-line/xslt/metadataLib.xsl b/helm/on-line/xslt/metadataLib.xsl
index f264516b2..e4c18b3cc 100644
--- a/helm/on-line/xslt/metadataLib.xsl
+++ b/helm/on-line/xslt/metadataLib.xsl
@@ -48,9 +48,9 @@
    var getterURL = "<xsl:value-of select="$getterURL"/>";
 <![CDATA[
    //url = setParam(url,"keys",getCICMathMLKeys());
-   var url = setParam(location.href,"keys","mth");
+   var url = setParam(location.href,"keys","meta_theory%2CT1%2CT2%2CL%2CE");
    url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D" + RDFURI);
-   document.write('<a href="' + url + '">View the objects depending on ' + name + '.</a>');
+   document.write('<a target="theory" href="' + url + '">View the objects depending on ' + name + '.</a>');
 ]]>
   </script>
  </p>