From 75659a74796e4915c7d0e84df95ef43fb57fb991 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 3 Aug 2010 13:10:38 +0000
Subject: Bump date (again)

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

diff --git a/README b/README
index a9c34b93..23ab33a3 100644
--- a/README
+++ b/README
@@ -42,4 +42,4 @@ For the latest news and downloads, visit Proof General on the web
 at: http://proofgeneral.inf.ed.ac.uk
 
 David Aspinall <da+pg-feedback@inf.ed.ac.uk>
-July 2010.
+August 2010.
-- 
cgit v1.2.3