From 0e25ed1f31b0dd197638e5d212f65d6055656e79 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 25 Oct 2001 10:27:01 +0000
Subject: [PATCH] The code to create a link to the theory automatically
 generated from the backward metadata has been moved here from
 metadataLib.xsl.

---
 helm/on-line/javascript/graphLinks.js | 9 +++++++++
 1 file changed, 9 insertions(+)

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;
+}
-- 
2.39.2