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.

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

(limited to 'demoisa')

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