The code to create a link to the theory automatically generated from the

[helm.git] / helm / on-line / javascript / graphLinks.js

diff --git a/helm/on-line/javascript/graphLinks.js b/helm/on-line/javascript/graphLinks.js
index 85e9fbde71e3fb9d5af54d70aa72cea6ccd84ebc..15708475e9abe66f2d370e135504f758747a17e7 100644 (file)
--- 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;
+}