]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/javascript/graphLinks.js
first moogle template checkin
[helm.git] / helm / on-line / javascript / graphLinks.js
index a01a6f6d642437571e3884e4cd19edf1863fc5d4..05ce3f92e295bd42e01638446d43a56d5b1ea18b 100644 (file)
@@ -69,10 +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,"param.embedkeys", getEmbedKeys());
-   url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D" + rdfuri);
+   url = setParam(url,"xmluri", rdflyURL + "get%3Fkind%3Dbackward%26object%3D" + escape(escape(uri)));
    return url;
 }