From bb125f935d2f634ced1c0650f11640f1411f8774 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 25 Aug 2004 11:41:30 +0000
Subject: Update for 3.6 release

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

diff --git a/etc/announce b/etc/announce
index 442de5d2..876ba470 100644
--- a/etc/announce
+++ b/etc/announce
@@ -42,7 +42,7 @@ Summary of interesting changes since 3.4 (August 2002):
 . Many changes for compatibility with latest Emacsen (esp. GNU) and provers
 
 For details of changes since 3.4, see
-http://proofgeneral.inf.ed.ac.uk/fileshow.php?file=ProofGeneral-3.5%2FCHANGES
+http://proofgeneral.inf.ed.ac.uk/fileshow.php?file=ProofGeneral-3.6%2FCHANGES
 
 For the latest user manual, see http://proofgeneral.inf.ed.ac.uk/doc
 
-- 
cgit v1.2.3