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

diff --git a/helm/on-line/javascript/graphLinks.js b/helm/on-line/javascript/graphLinks.js
index 9cad277a7..a01a6f6d6 100644
--- a/helm/on-line/javascript/graphLinks.js
+++ b/helm/on-line/javascript/graphLinks.js
@@ -1,4 +1,4 @@
-function mkRDFURI(uri)
+function mkBackwardRDFURI(uri)
 {
    var prefix = "helm:rdf:www.cs.unibo.it/helm/rdf/backward//";
    var re1 = /#xpointer\(1\/(\d+)\/(\d+)\)/;
@@ -23,16 +23,12 @@ function removeXPointer(uri)
 }
 
 
-// (use_rdf_uri==true) if the stylesheet must be applied to the
-// metadata; (use_rdf_uri==false) otherwise
-function mkGraphURL(uri,keys,use_rdf_uri)
+function mkGraphURL(uri,keys)
 {
    var getterURL = unescape(getParam("param.getterURL"));
    var draw_graphURL = unescape(getParam("param.draw_graphURL"));
    var url= setParam(location.href,"keys",keys);
-   var rdfuri = mkRDFURI(uri);
-   url = setParam(url,"xmluri", getterURL + 'getxml%3Furi%3D' +
-    (use_rdf_uri ? rdfuri : removeXPointer(uri)));
+   url = setParam(url,"xmluri", getterURL + 'getempty');
    url = setParam(url,"param.CICURI",escape(uri));
    var uri_set_size = document.uri_set_size.elements[0].value;
    url = setParam(url,"param.uri_set_size",uri_set_size);
@@ -50,13 +46,13 @@ function mkGraphURL(uri,keys,use_rdf_uri)
 
 function mkDepURL(uri)
 {
-   return mkGraphURL(uri,"MDG",0);
+   return mkGraphURL(uri,"MDG");
 }
 
 
 function mkMetaURL(uri)
 {
-   return mkGraphURL(uri,"MMG",1);
+   return mkGraphURL(uri,"MMG");
 }
 
 function mkCICURL(uri)
@@ -73,9 +69,10 @@ function mkCICURL(uri)
 
 function mkMetaTheoryURL(uri)
 {
-   var rdfuri = mkRDFURI(uri);
+   var rdfuri = mkBackwardRDFURI(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,"param.embedkeys", getEmbedKeys());
    url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D" + rdfuri);
    return url;
 }