From a558a68c4d0b236093ac8b7f0dfe94c39a06fa97 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 20 Aug 1999 18:45:12 +0000
Subject: Mentioned zermelo as temporary server

---
 README | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/README b/README
index c5fea035..b3e9c7ba 100644
--- a/README
+++ b/README
@@ -22,5 +22,14 @@ at: http://www.dcs.ed.ac.uk/home/proofgen
 
 David Aspinall.
 August 1999.
+
+NEWSFLASH:
+
+Temporarily, all Proof General pages are hosted on the server
+zermelo.dcs.ed.ac.uk, so replace "www" by "zermelo" in all
+URLs mentioned in the sources and documentation.
+
+
+
 		
 
-- 
cgit v1.2.3