From 3b3fa7bc93724a74ae514170c70b77bb898fb8f8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 23 Jul 2008 12:43:23 +0000
Subject: Fix version

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

diff --git a/README b/README
index bccca6fa..2da03478 100644
--- a/README
+++ b/README
@@ -4,9 +4,7 @@ Proof General is a generic Emacs interface for proof assistants.
 The aim of the Proof General project is to provide a powerful, generic
 environment for using interactive proof assistants.
 
-This is version 3.7 of Proof General. 
-(see About screen for exact version).   
-
+This is version 3.7.1 of Proof General. 
 
 See
     INSTALL	   for installation details.
-- 
cgit v1.2.3