From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 17 Oct 2001 15:34:43 +0000 (+0000)
Subject: Oooops. After the last commit all the URLs were damaged.
X-Git-Tag: v0_1_3~61
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7527c24dcf7e7e59a8bc54fb99204a83bd25d083;p=helm.git

Oooops. After the last commit all the URLs were damaged.
---

diff --git a/helm/on-line/html/control.html b/helm/on-line/html/control.html
index 98bfebaf4..08840663c 100644
--- a/helm/on-line/html/control.html
+++ b/helm/on-line/html/control.html
@@ -26,9 +26,9 @@ td.back { background-color: #e6e6fa; color: brown }
 
 <div id="indent">
 The on-line interface will use a
-<a href="file:///projects/helm/public_html/getter" target="_top">Getter</a> to locate and
+<a href="http://www.cs.unibo.it/helm/getter" target="_top">Getter</a> to locate and
 download documents and an
-<a href="file:///projects/helm/public_html/uwobo" target="_top">UWOBO</a> to apply transformations
+<a href="http://www.cs.unibo.it/helm/uwobo" target="_top">UWOBO</a> to apply transformations
 to them.
 
 
@@ -40,9 +40,9 @@ to instances of them.
 <br /><br />
 
 To control the behaviour of them, use the apposite
-<a onClick="refreshLinks();" href="file:///projects/helm/public_html/getter/panel/index.html" target="_top">Getter panel</a>
+<a onClick="refreshLinks();" href="http://www.cs.unibo.it/helm/getter/panel/index.html" target="_top">Getter panel</a>
 and
-<a onClick="refreshLinks();" href="file:///projects/helm/public_html/uwobo/panel/index.html" target="_top">UWOBO panel</a>.
+<a onClick="refreshLinks();" href="http://www.cs.unibo.it/helm/uwobo/panel/index.html" target="_top">UWOBO panel</a>.
 
 <br /><br />