X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fhtml%2Fcic%2Fcontrol.html;h=c6afa7080da0c6ca8b9aa7742b9d79b41b3fb1ff;hb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;hp=c348547d128db6f2043a4c3826eebd70e8cac38d;hpb=e841c23cb594b9918b8816ce38f0d4e8ee1e5ac8;p=helm.git

diff --git a/helm/on-line/html/cic/control.html b/helm/on-line/html/cic/control.html
index c348547d1..c6afa7080 100644
--- a/helm/on-line/html/cic/control.html
+++ b/helm/on-line/html/cic/control.html
@@ -59,11 +59,12 @@ td.back { background-color: #e6e6fa; color: brown }
     <script>
      var url = unescape(getParam('url'));
      var getterURL = extractParam(url,'param.getterURL');
-     var CICURI = extractParam(url,'param.CICURI');
+     var CICURI = dropBodySuffix(extractParam(url,'param.CICURI'));
      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 = setParam(url,"param.CICURI",CICURI);
      document.write(
       '<a target="metadata" href="' + url + '">View its metadata and dependencies</a>'
      );
@@ -77,7 +78,7 @@ td.back { background-color: #e6e6fa; color: brown }
     <script>
      var url = unescape(getParam('url'));
      var proofcheckerURL = unescape(extractParam(url,'param.proofcheckerURL'));
-     var CICURI = extractParam(url,'param.CICURI');
+     var CICURI = dropBodySuffix(extractParam(url,'param.CICURI'));
      url = proofcheckerURL + "proofCheck?uri=" + CICURI;
      document.write(
       '<a target="proofChecker" href="' + url + '">Proof-check it</a>'