From 2c73fdbdbddc4278dfc6815e49fb65d7207f6d34 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 28 Sep 2000 15:40:48 +0000
Subject: Fix URL.

---
 etc/announce | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/etc/announce b/etc/announce
index 58276c65..eda0171e 100644
--- a/etc/announce
+++ b/etc/announce
@@ -66,7 +66,7 @@ Summary of changes since 3.1:
 . For details, see http://www.proofgeneral.org/ProofGeneral-3.2/CHANGES
 
 The user manual contains full details, and is available on-line at: 
-http://www.proofgeneral.org/index.phtml?page=doc
+http://www.proofgeneral.org/index.html?page=doc
 
 Proof General needs a recent version of Emacs to run with, and it much
 prefers XEmacs to FSF GNU Emacs.  Proof General 3.2 has been tested
@@ -76,5 +76,5 @@ Emacs 20.2, though).
 Installing Proof General is easy.  Why not give it a try?
 
  - David Aspinall <da@dcs.ed.ac.uk>
-   November 2000.
+   October 2000.
 
-- 
cgit v1.2.3