X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fjavascript%2FgraphLinks.js;h=7e3199802dd972311870ae61e76869eb621c0958;hb=c5d5bf37b1e4c4b9b499ed2cbfe27cf2ec181944;hp=b7f351e9f6b2c1d74dd4194baea6206af9f64022;hpb=828d541b8ffcd78fafe2b65d4e9092a319e83d3a;p=helm.git

diff --git a/helm/on-line/javascript/graphLinks.js b/helm/on-line/javascript/graphLinks.js
index b7f351e9f..7e3199802 100644
--- a/helm/on-line/javascript/graphLinks.js
+++ b/helm/on-line/javascript/graphLinks.js
@@ -69,9 +69,9 @@ function mkCICURL(uri)
 
 function mkMetaTheoryURL(uri)
 {
-   var rdfuri = mkBackwardRDFURI(uri);
-   var getterURL = getParam("param.getterURL");
+   var rdflyURL = "http://mowgli.cs.unibo.it:58086/";
    var url = setParam(location.href,"keys","meta_theory," + unescape(getTheoryKeys()));
-   url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D" + rdfuri);
+   url = setParam(url,"param.embedkeys", getEmbedKeys());
+   url = setParam(url,"xmluri", rdflyURL + "get%3Fkind%3Dbackward%26object%3D" + uri);
    return url;
 }