Updated Isabelle home page.

2 files changed, 2 insertions, 2 deletions

diff --git a/demoisa/demoisa-easy.el b/demoisa/demoisa-easy.el
index c08a0339..f4cb30c9 100644
--- a/demoisa/demoisa-easy.el
+++ b/demoisa/demoisa-easy.el
@@ -41,7 +41,7 @@
  proof-shell-end-goals-regexp    "val it"
  proof-shell-quit-cmd            "quit();"
  proof-assistant-home-page    
- "http://www.cl.cam.ac.uk/Research/HVG/isabelle.html"
+ "http://www.cl.cam.ac.uk/Research/HVG/Isabelle/"
  proof-shell-annotated-prompt-regexp 
  "^\\(val it = () : unit\n\\)?ML>? "
  proof-shell-error-regexp             
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