From 7e3bbc02bea433c91cb01556eb7bbb0ab84c15bd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 23 Mar 2000 13:11:27 +0000
Subject: Updated Isabelle home page.

---
 isa/isa.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'isa')

diff --git a/isa/isa.el b/isa/isa.el
index 95479fd1..01121a80 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -43,7 +43,7 @@ no regular or easily discernable structure."
   :group 'isabelle)
 
 (defcustom isabelle-web-page
-  "http://www.cl.cam.ac.uk/Research/HVG/isabelle.html"
+  "http://www.cl.cam.ac.uk/Research/HVG/Isabelle/"
   ;; "http://www.dcs.ed.ac.uk/home/isabelle"
   "URL of web page for Isabelle."
   :type 'string
-- 
cgit v1.2.3