From 7b89a075f52308e27566686ba0bf86df70505d4b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 15 Jun 2000 12:53:16 +0000
Subject: Web addr note

---
 README | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/README b/README
index 12c966f5..0ca5109b 100644
--- a/README
+++ b/README
@@ -40,11 +40,11 @@ March 2000.
 
 NEWSFLASH:
 
-Temporarily, all Proof General pages are hosted on the server
-zermelo.dcs.ed.ac.uk, so replace "www.dcs" or "www.lfcs.informatics"
-by "zermelo.dcs" in all URLs mentioned in the sources and
-documentation.  (There is an indirection via www.lfcs.informatics but
-it is not totally reliable, unfortunately)
+For the forseeable future, all Proof General pages are hosted on my
+personal server, zermelo.dcs.ed.ac.uk, so replace "www.dcs" or
+"www.lfcs.informatics" by "zermelo.dcs" in all URLs mentioned in the
+sources and documentation.  (There is an indirection in place via
+www.lfcs.informatics but it is not totally reliable, unfortunately)
 
 
 
-- 
cgit v1.2.3