From 64eede38044cca15f75a04bb3d3a9b6957fd1094 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 28 Sep 2000 17:57:27 +0000 Subject: Fix web page, at least. --- acl2/acl2.el | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'acl2') diff --git a/acl2/acl2.el b/acl2/acl2.el index 6e6d3af4..51be3f7a 100644 --- a/acl2/acl2.el +++ b/acl2/acl2.el @@ -20,7 +20,8 @@ auto-mode-alist)) (proof-easy-config 'acl2 "ACL2" - proof-prog-name "bash" + proof-assistant-home-page "http://www.cs.utexas.edu/users/moore/acl2" + proof-prog-name "acl2" proof-script-sexp-commands t proof-comment-start ";" ;; FIXME: @@ -47,8 +48,7 @@ (proof-regexp-alt "^[ \t]*: GoalstackPure.goalstack" "^[ \t]*: GoalstackPure.proofs") proof-shell-quit-cmd "quit();" - proof-assistant-home-page - "http://www.cl.cam.ac.uk/Research/HVG/HOL/HOL.html" + proof-shell-annotated-prompt-regexp "^\\[.*\\]" ;; This one is nice but less reliable, I think. -- cgit v1.2.3