From 1eb511ae5722add19f172d3b01b1e269a74b1787 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 19 Aug 1999 14:30:13 +0000
Subject: Date change

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

(limited to 'README')

diff --git a/README b/README
index 67f64b39..c5fea035 100644
--- a/README
+++ b/README
@@ -21,6 +21,6 @@ at: http://www.dcs.ed.ac.uk/home/proofgen
 
 
 David Aspinall.
-July 1999.
+August 1999.
 		
 
-- 
cgit v1.2.3