From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 30 Oct 2001 13:59:30 +0000 (+0000)
Subject: Simple stylesheet for Dublin Core Metadata rendering.
X-Git-Tag: v0_1_3~23
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5509a3273b9f1be1e4aa53dbc293a2c432a36b3d;p=helm.git

Simple stylesheet for Dublin Core Metadata rendering.
---

diff --git a/helm/on-line/html/cic/control.html b/helm/on-line/html/cic/control.html
index 8114cbde6..7a69e1a0e 100644
--- a/helm/on-line/html/cic/control.html
+++ b/helm/on-line/html/cic/control.html
@@ -54,11 +54,11 @@ td.back { background-color: #e6e6fa; color: brown }
      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>