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 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/PG-adapting.texi')

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}.
 
 
-- 
cgit v1.2.3