X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fhtml%2Fcic%2Fcontrol.html;h=7a69e1a0e46f11ba6797e364cd77bb94cb249613;hb=e4ea08104e12e2d9e546f37e2d4fbb4febe75d29;hp=626db75801a46594439f6e9ba79b125d152e130b;hpb=bf5c41c682dfa66f4f44b78c6f7de558e2364233;p=helm.git

diff --git a/helm/on-line/html/cic/control.html b/helm/on-line/html/cic/control.html
index 626db7580..7a69e1a0e 100644
--- a/helm/on-line/html/cic/control.html
+++ b/helm/on-line/html/cic/control.html
@@ -49,25 +49,16 @@ td.back { background-color: #e6e6fa; color: brown }
      var url = unescape(getParam('url'));
      var getterURL = extractParam(url,'param.getterURL');
      var CICURI = extractParam(url,'param.CICURI');
-     var RDFURI = "helm:rdf:www.cs.unibo.it/helm/rdf/rdfprova//" + CICURI;
-     if (CICURI.substr(-4,4) == ".ind") {
-      url = setParam(url,"keys","DM%2CRT");
-      url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D" + CICURI);
-     } else {
-      url = setParam(url,"keys","MC%2CRT");
-      url = setParam(url,"xmluri", getterURL + "resolve%3Furi%3D" + RDFURI);
-     }
+     url = setParam(url,"keys","MC%2CRT");
+     url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D" + CICURI);
      url = setParam(url,"prop.media-type","text/html");
      url = setParam(url,"prop.encoding","iso-8859-1");
-     url =
-      url +
-      "&param.RDFURI=" + RDFURI ;
      document.write(
-      '<a target="metadata" href="' + url + '">View its metadata</a>'
+      '<a target="metadata" href="' + url + '">View its metadata and dependencies</a>'
      );
     </script>
    </td>
-   <td>(Work in progress. Coming soon.)</td>
+   <td>NEW!!!</td>
   </tr>
   <tr>
    <td>