From c5b2b4704730479abdc7d9fd7c8b559d68523abe Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 10 Feb 2004 17:13:26 +0000
Subject: Updated.

---
 etc/announce | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/etc/announce b/etc/announce
index baea3986..2d1454ca 100644
--- a/etc/announce
+++ b/etc/announce
@@ -26,7 +26,7 @@ Summary of changes since 3.4:
 . FIXME
 
 For details of changes since 3.4, see
-http://www.proofgeneral.org/fileshow.php?file=ProofGeneral-3.5%2FCHANGES
+http://proofgeneral.inf.ed.ac.uk/fileshow.php?file=ProofGeneral-3.5%2FCHANGES
 
 For the latest user manual, see http://proofgeneral.inf.ed.ac.uk/doc
 
-- 
cgit v1.2.3