diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-09-28 17:57:27 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-28 17:57:27 +0000 |
| commit | 64eede38044cca15f75a04bb3d3a9b6957fd1094 (patch) | |
| tree | ac120d87873125d303f7a11170a4c852371090e6 /acl2 | |
| parent | 9749e12c374f6f1ee270c228821b41b0aa66ca2b (diff) | |
Fix web page, at least.
Diffstat (limited to 'acl2')
| -rw-r--r-- | acl2/acl2.el | 6 |
1 files changed, 3 insertions, 3 deletions
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. |