From 53b189c292365eb4ca275e759e373d2554856d83 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 29 Feb 2004 23:47:09 +0000
Subject: Update web addr

---
 pgkit/README | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/pgkit/README b/pgkit/README
index 81e6ad00..f7e50834 100644
--- a/pgkit/README
+++ b/pgkit/README
@@ -11,8 +11,10 @@ PGIP will allow a middleware layer for many interactive proof tools
 and interface components (including Emacs).  The design of PGIP was
 made possible by the present Emacs-based Proof General framework.  
 
-For more on Proof General Kit, see
-http://www.proofgeneral.org/kit.html
+The code included here is not yet in a working state.  Check the latest
+development release of Proof General, and visit:
+
+	http://proofgeneral.inf.ed.ac.uk/kit
 
 
 
-- 
cgit v1.2.3