X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fjavascript%2Fcontrol.js;fp=helm%2Fon-line%2Fjavascript%2Fcontrol.js;h=01ee82f2a7782727664ef76f2cc462e69c681f41;hb=91d0b53ce03e139409f7f210a4128f06d0359567;hp=3384875c6aedb950c2bb7a8d32fa38b7d691b0a0;hpb=6eda541021adb730255b7025d937874ef8886c32;p=helm.git

diff --git a/helm/on-line/javascript/control.js b/helm/on-line/javascript/control.js
index 3384875c6..01ee82f2a 100644
--- a/helm/on-line/javascript/control.js
+++ b/helm/on-line/javascript/control.js
@@ -154,10 +154,13 @@ function makeURL(type,uri,cicflags,typesflags)
   
   if (output == "raw") {
     var ext = "";
+    var rdfprefix = "";
     if (format == "types") ext = ".types"
-    else if (format == "ann") ext = ".ann";
-    url = getterURL + "getxml?uri=" + uri + ext + "&format=" + mode_list[5] +
-     "&patch_dtd=" + mode_list[6];
+    else if (format == "ann") ext = ".ann"
+    else if (format == "fwd") rdfprefix = "helm:rdf:www.cs.unibo.it/helm/rdf/forward//"
+    else if (format == "bwd") rdfprefix = "helm:rdf:www.cs.unibo.it/helm/rdf/backward//";
+    url = getterURL + "getxml?uri=" + rdfprefix + uri + ext + "&format=" +
+          mode_list[5] + "&patch_dtd=" + mode_list[6];
   } else {
     if (format == "html" && type == "cic") {
       //Important note: do not modify this function without modifying