From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 19 May 2004 15:51:16 +0000 (+0000)
Subject: Tempative version: every link is now opened in a new window.
X-Git-Tag: V_0_0_9~38
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5b510518a3179c0f6ed209fa58c33a6aca8732bf;p=helm.git

Tempative version: every link is now opened in a new window.
The user is responsible for organizing them.
---

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