]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/javascript/control.js
First version of metadata interface.
[helm.git] / helm / on-line / javascript / control.js
index 472100b9f1fb6d1fa727bdd46d0bfdd0ea126589..1f811dc6846231874b928e5d34836fb8a50f49b0 100644 (file)
@@ -235,7 +235,7 @@ function makeURL(type,uri,cicflags,typesflags)
     if (cicflags != "NO" || type == "theory") {
        annotations = mode_list[4];
     }
-    url = processorURL + "apply?xmluri=" + escape(getterURL + "getxml?uri=" + uri) + "&keys=" + keys + "&param.CICURI=" + uri + "&param.naturalLanguage=" + naturalLanguage + "&param.annotations=" + annotations;
+    url = processorURL + "apply?xmluri=" + escape(getterURL + "getxml?uri=" + uri) + "&keys=" + keys + "&param.CICURI=" + uri + "&param.naturalLanguage=" + naturalLanguage + "&param.annotations=" + annotations + "&param.topurl=" + top.topurl;
   }
 
   if (output == "raw")