From 9284029abc588c4a0d9b51deb5462bb1e362af76 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 7 May 2004 00:03:40 +0000
Subject: Update with date/version.

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

(limited to 'etc')

diff --git a/etc/announce b/etc/announce
index cb8f3c05..e683608a 100644
--- a/etc/announce
+++ b/etc/announce
@@ -1,4 +1,4 @@
-            Announcing  Proof General  Version 3.5
+            Announcing  Proof General  Version 3.5.1
     A Generic Emacs interface for Interactive Proof Assistants
               http://proofgeneral.inf.ed.ac.uk
 
@@ -48,4 +48,4 @@ Other recent versions of either Emacs may work but are not guaranteed.
 Installing Proof General is easy.  Why not give it a try?
 
  - David Aspinall.
-   April 2004.
+   May 2004.
-- 
cgit v1.2.3