From 48fa6898a55d21ae6dea458b6aa5d2a1d4997d01 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 7 Oct 1999 18:28:35 +0000
Subject: Temporary location of web pages

---
 doc/ProofGeneral.texi | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 93ed3387..5522f96e 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -3689,6 +3689,10 @@ Proof General has its own
 @uref{http://www.dcs.ed.ac.uk/home/proofgen,home page} hosted at
 Edinburgh.  Visit this page for the latest news!
 
+STOP PRESS: the Proof General web pages are temporarily 
+being hosted at @uref{zermelo.dcs.ed.ac.uk}.  Where you see 
+@code{www.dcs} below, replace with @code{zermelo.dcs}.
+
 @menu
 * Obtaining Proof General::     
 * Installing Proof General from tarball::  
-- 
cgit v1.2.3