From 4162624976e6339d0a835f8ab3d213da29f63647 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 24 Jun 1999 14:57:10 +0000
Subject: Updates for new web pages, todo list.

---
 README | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'README')

diff --git a/README b/README
index 9c528edc..67f64b39 100644
--- a/README
+++ b/README
@@ -10,15 +10,17 @@ Please help us with this aim!  Configure Proof General for your proof
 assistant, by adding features at the generic level wherever possible.
 Send ideas, comments, patches, code to proofgen@dcs.ed.ac.uk.
 
-
 See INSTALL for installation details.
 
 See COPYING for license details.
 
 See doc/ for documentation of Proof General.
 
+For the latest news and downloads, check the Proof General web page
+at: http://www.dcs.ed.ac.uk/home/proofgen
+
 
-David Aspinall & Thomas Kleymann
-November 1998.
+David Aspinall.
+July 1999.
 		
 
-- 
cgit v1.2.3