From 71982ce3a125dcb200e39d3975084aff77fb6ec6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 31 Jan 2008 23:16:26 +0000
Subject: Updated.

---
 README | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

(limited to 'README')

diff --git a/README b/README
index a04c7346..bccca6fa 100644
--- a/README
+++ b/README
@@ -1,12 +1,13 @@
 	    Proof General --- Organize your proofs! 
 
 Proof General is a generic Emacs interface for proof assistants.
-
-This is version 3.7 of Proof General (see about screen for exact version).   
-
 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).   
+
+
 See
     INSTALL	   for installation details.
     COPYING	   for license details.
@@ -38,12 +39,14 @@ in the subdirectories:
 
  generic/   Generic basis for Proof General
 
+
 A small number of example proofs are included in each prover 
 subdirectory.   The "root2" example proofs of the irrationality
 of the square root of 2 were proofs written as a response
 to a challenge of Freek Wiedijk in his comparison of different
 theorem provers, see http://www.cs.kun.nl/~freek/comparison/.
 Those proof scripts are copyright by their named authors.
+(NB: some of these may have rusted)
 
 Check BUGS files for problems and issues.  Please report new bugs
 on the Trac site at http://proofgeneral.inf.ed.ac.uk/trac.
-- 
cgit v1.2.3