From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 25 Oct 2001 10:27:01 +0000 (+0000)
Subject: The code to create a link to the theory automatically generated from the
X-Git-Tag: v0_1_3~39
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0e25ed1f31b0dd197638e5d212f65d6055656e79;p=helm.git

The code to create a link to the theory automatically generated from the
backward metadata has been moved here from metadataLib.xsl.
---

diff --git a/helm/on-line/javascript/graphLinks.js b/helm/on-line/javascript/graphLinks.js
index 85e9fbde7..15708475e 100644
--- a/helm/on-line/javascript/graphLinks.js
+++ b/helm/on-line/javascript/graphLinks.js
@@ -68,3 +68,12 @@ function mkCICURL(uri)
    url = interfaceURL + "?url=" + escape(url);
    return url;
 }
+
+function mkMetaTheoryURL(uri)
+{
+   var rdfuri = mkRDFURI(uri);
+   var getterURL = getParam("param.getterURL");
+   var url = setParam(location.href,"keys","meta_theory%2CT1%2CT2%2CL%2CE");
+   url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D" + rdfuri);
+   return url;
+}