From 652cb3be7214148861c51a3dd0ca63de683c71de Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 8 Aug 2002 10:18:39 +0000
Subject: Updates

---
 README | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'README')

diff --git a/README b/README
index 8df987d0..53bc6e4b 100644
--- a/README
+++ b/README
@@ -4,7 +4,7 @@ Proof General --- Organize your proofs!
 Proof General is a generic Emacs interface for proof assistants.
 
 This is version 3.4 of Proof General.   
-(Check the About screen for precise version number).
+(Check the About screen for a precise version number).
 
 The aim of the Proof General project is to provide a powerful and
 configurable interfaces which help user-interaction with interactive
@@ -50,7 +50,7 @@ mailing list for Proof General, visit Proof General on the web
 at: http://www.proofgeneral.org
 
 David Aspinall <da@proofgeneral.org>
-July 2002.
+August 2002.
 
 -----
 
-- 
cgit v1.2.3