aboutsummaryrefslogtreecommitdiffhomepage
path: root/demoisa
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2000-03-23 13:11:27 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2000-03-23 13:11:27 +0000
commit7e3bbc02bea433c91cb01556eb7bbb0ab84c15bd (patch)
tree8db0fb5d62daf1f5b627b2d4ecf6051c23b84322 /demoisa
parent434a3633b9395201922c133cc70d05f6d6125239 (diff)
Updated Isabelle home page.
Diffstat (limited to 'demoisa')
-rw-r--r--demoisa/demoisa-easy.el2
1 files changed, 1 insertions, 1 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