From a46fb9f176a8fe27158918d72b8f2b0e4e35d3d2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 10 Jun 2011 17:19:06 +0000
Subject: *** empty log message ***

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

diff --git a/README b/README
index 15ad0fb7..049572c0 100644
--- a/README
+++ b/README
@@ -44,4 +44,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>
-January 2011.
+June 2011.
-- 
cgit v1.2.3