From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 26 Jun 2003 12:29:39 +0000 (+0000)
Subject: - Object URL link added
X-Git-Tag: camera_ready~47
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=e841c23cb594b9918b8816ce38f0d4e8ee1e5ac8

- Object URL link added
- rethorical text changed
---

diff --git a/helm/on-line/html/cic/control.html b/helm/on-line/html/cic/control.html
index 470f82322..c348547d1 100644
--- 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>
@@ -58,7 +69,8 @@ td.back { background-color: #e6e6fa; color: brown }
      );
     </script>
    </td>
-   <td>NEW!!!</td>
+   <td>DC Metadata and dependency metadata; Dependency graphs
+   </td>
   </tr>
   <tr>
    <td>
@@ -72,8 +84,8 @@ td.back { background-color: #e6e6fa; color: brown }
      );
     </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>