diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-10-07 18:28:35 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-10-07 18:28:35 +0000 |
commit | 48fa6898a55d21ae6dea458b6aa5d2a1d4997d01 (patch) | |
tree | 89e4e45ada46b5ce1d5bbf5ac2085f4c1d25a9e9 /doc/ProofGeneral.texi | |
parent | 9adb63dbaffb40572e71202ee118789d2cc18d18 (diff) |
Temporary location of web pages
Diffstat (limited to 'doc/ProofGeneral.texi')
-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:: |