From 89dcd395161b6126634b68765a7839a4b1fde81e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 25 Nov 1998 12:57:48 +0000
Subject: Updated

---
 README | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'README')

diff --git a/README b/README
index b7c2f9cd..9c528edc 100644
--- a/README
+++ b/README
@@ -19,6 +19,6 @@ See doc/ for documentation of Proof General.
 
 
 David Aspinall & Thomas Kleymann
-October 1998.
+November 1998.
 		
 
-- 
cgit v1.2.3