X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fjavascript%2FgraphLinks.js;h=9cad277a7eff3d6b5a197c067c238dd11f6247a4;hb=48ef0df0e28ae2727ad773631e254d64576b5c6c;hp=26ebb2a104220ebda87b6639e8eb07d9bb5da388;hpb=0bb9ab0ae31507f41c7e5d1dd201850c97e650b4;p=helm.git

diff --git a/helm/on-line/javascript/graphLinks.js b/helm/on-line/javascript/graphLinks.js
index 26ebb2a10..9cad277a7 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%2CT1%2CT2%2CL%2CE");
+   var url = setParam(location.href,"keys","meta_theory,T1,T2,L,E");
    url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D" + rdfuri);
    return url;
 }