From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 12 Nov 2001 09:22:27 +0000 (+0000)
Subject: Code cleanup: more code sharing achieved.
X-Git-Tag: uwobo_pre_ocaml~3
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2938549254c7b5f49ecddfe345e2011193eabcc1;hp=fb890743cf20c64d747647c1082f06edf22f806f;p=helm.git

Code cleanup: more code sharing achieved.
---

diff --git a/helm/on-line/javascript/graphLinks.js b/helm/on-line/javascript/graphLinks.js
index 9cad277a7..c95c85a45 100644
--- a/helm/on-line/javascript/graphLinks.js
+++ b/helm/on-line/javascript/graphLinks.js
@@ -75,7 +75,7 @@ function mkMetaTheoryURL(uri)
 {
    var rdfuri = mkRDFURI(uri);
    var getterURL = getParam("param.getterURL");
-   var url = setParam(location.href,"keys","meta_theory,T1,T2,L,E");
+   var url = setParam(location.href,"keys","meta_theory," + unescape(getTheoryKeys()));
    url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D" + rdfuri);
    return url;
 }