From 59760a1398dfa77be57950882f73d1e7588840e3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 27 Jun 2010 23:05:57 +0000
Subject: Updated.

---
 README | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'README')

diff --git a/README b/README
index fcd61bed..a9c34b93 100644
--- a/README
+++ b/README
@@ -42,6 +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>
-April 2010.
-
-
+July 2010.
-- 
cgit v1.2.3