From a1acb2a34bb28aaaa4270cd5ebda7fcad52cb897 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 28 Aug 2001 17:10:12 +0000
Subject: Fix web page for kit

---
 doc/PG-adapting.texi  | 2 +-
 doc/ProofGeneral.texi | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'doc')

diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi
index 3013a5d2..2099fefc 100644
--- a/doc/PG-adapting.texi
+++ b/doc/PG-adapting.texi
@@ -258,7 +258,7 @@ provers to communicate using PGIP.
 
 At the time of writing, these ideas are in early stages. For latest
 details, or to become involved, see
-@uref{http://www.proofgeneral.org/kit.html, the Proof General Kit
+@uref{http://www.proofgeneral.org/kit, the Proof General Kit
 webpage}.
 
 
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 9b2656db..d114a962 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -258,7 +258,7 @@ PGIP.  There is a similarity however; the design of PGIP was based
 heavily on the Emacs Proof General framework.
 
 For more details, see 
-@uref{http://www.proofgeneral.org/kit.html, the Proof General Kit webpage}.
+@uref{http://www.proofgeneral.org/kit, the Proof General Kit webpage}.
 
 
 
-- 
cgit v1.2.3