X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fhtml%2Fcic%2Fcontrol.html;h=470f82322ea2025f243a3e5069b6295231da6ab4;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=377aa7db024103c5064070ba0802c7c5bcaf3e8e;hpb=f6cd1be6111f40c2a4226ca87d737c4bfb3a321c;p=helm.git

diff --git a/helm/on-line/html/cic/control.html b/helm/on-line/html/cic/control.html
index 377aa7db0..470f82322 100644
--- a/helm/on-line/html/cic/control.html
+++ b/helm/on-line/html/cic/control.html
@@ -21,7 +21,7 @@ td.back { background-color: #e6e6fa; color: brown }
  <h1>Object: 
   &quot;<script>document.write(extractParam(unescape(getParam('url')),'param.CICURI'))</script>&quot;
  &nbsp;&nbsp;&nbsp;<font size="+1">[Annotations are
- <script>if ((extractParam(unescape(getParam('url')),'param.annotations')) == 'NO') document.write('off'); else document.write('on')</script>
+ <script>if ((extractParam(unescape(getParam('url')),'param.annotations')) == 'no') document.write('off'); else document.write('on')</script>
  ]</font>
  </h1>
  <table>
@@ -49,28 +49,31 @@ td.back { background-color: #e6e6fa; color: brown }
      var url = unescape(getParam('url'));
      var getterURL = extractParam(url,'param.getterURL');
      var CICURI = extractParam(url,'param.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" + 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");
      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>
-    Proof-check it
+    <script>
+     var url = unescape(getParam('url'));
+     var proofcheckerURL = unescape(extractParam(url,'param.proofcheckerURL'));
+     var CICURI = extractParam(url,'param.CICURI');
+     url = proofcheckerURL + "proofCheck?uri=" + CICURI;
+     document.write(
+      '<a target="proofChecker" href="' + url + '">Proof-check it</a>'
+     );
+    </script>
    </td>
    <td>
-    (Not ported to V7, yet. Coming soon.)
+    (Not ported to V7, yet. Experimental. Coming soon.)
    </td>
   </tr>
  </table>