From d31b2387d328405396785da0c570458dd037009b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 15 Jan 2008 15:57:03 +0000
Subject: Updated.

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

(limited to 'README')

diff --git a/README b/README
index f5d76e36..a04c7346 100644
--- a/README
+++ b/README
@@ -8,7 +8,6 @@ The aim of the Proof General project is to provide a powerful, generic
 environment for using interactive proof assistants.
 
 See
-
     INSTALL	   for installation details.
     COPYING	   for license details.
     COMPATIBILITY  for version compatibility information.
@@ -53,4 +52,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>
-June 2007.
+January 2008.
-- 
cgit v1.2.3