diff options
| -rw-r--r-- | doc/ProofGeneral.texi | 4 |
1 files changed, 4 insertions, 0 deletions
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:: |