1 files changed, 9 insertions, 0 deletions
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.
+
+
+