first moogle template checkin

[helm.git] / helm / on-line / html / cic / control.html

diff --git a/helm/on-line/html/cic/control.html b/helm/on-line/html/cic/control.html
index dba30d5aa869ee570e215360ddc03c6157408c68..c6afa7080da0c6ca8b9aa7742b9d79b41b3fb1ff 100644 (file)
--- a/helm/on-line/html/cic/control.html
+++ b/helm/on-line/html/cic/control.html
@@ -25,6 +25,17 @@ td.back { background-color: #e6e6fa; color: brown }
  ]</font>
  </h1>
  <table>
+  <tr>
+   <td>
+    <script>
+     var url = unescape(getParam('url'));
+     document.write('<a href="' + url + '" target="_blank">Object URL</a>');
+     </script>
+   </td>
+   <td>
+    Follow the link to view the displayed object alone (without this control frame)
+   </td>
+  </tr>
   <tr>
    <td>
     <script>
@@ -48,31 +59,34 @@ 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>'
      );
     </script>
    </td>
-   <td>NEW!!!</td>
+   <td>DC Metadata and dependency metadata; Dependency graphs
+   </td>
   </tr>
   <tr>
    <td>
     <script>
      var url = unescape(getParam('url'));
-     var CICURI = extractParam(url,'param.CICURI');
-     url = "http://phd.cs.unibo.it:8085/proofCheck?uri=" + CICURI;
+     var proofcheckerURL = unescape(extractParam(url,'param.proofcheckerURL'));
+     var CICURI = dropBodySuffix(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. Experimental. Coming soon.)
+   <td>Proof-checking is recursively performed over the untrusted parts of the
+       library
    </td>
   </tr>
  </table>