diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-05 10:42:23 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-05 10:42:23 +0000 |
| commit | b35ce5388cfbd86b2be92e7acb56ff4aa215f58a (patch) | |
| tree | aa6f57349bb07993bf80136e6dd18a8fe0e6ea84 /acl2 | |
| parent | 41a4f20e3250cbe225fb8363738a6c6ac35d0368 (diff) | |
Clean whitespace
Diffstat (limited to 'acl2')
| -rw-r--r-- | acl2/acl2.el | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/acl2/acl2.el b/acl2/acl2.el index da745d06..809c62fa 100644 --- a/acl2/acl2.el +++ b/acl2/acl2.el @@ -1,6 +1,6 @@ ;; acl2.el Basic Proof General instance for ACL2 ;; -;; Copyright (C) 2000 LFCS Edinburgh. +;; Copyright (C) 2000 LFCS Edinburgh. ;; License: GPL (GNU GENERAL PUBLIC LICENSE) ;; Author: David Aspinall <David.Aspinall@ed.ac.uk> ;; @@ -15,11 +15,11 @@ (require 'proof-syntax) ; functions for making regexps (setq auto-mode-alist ; ACL2 uses two file extensions - (cons ; Only grab .lisp extension after + (cons ; Only grab .lisp extension after (cons "\\.lisp$" 'acl2-mode) ; an acl2 file has been loaded - auto-mode-alist)) + auto-mode-alist)) -(proof-easy-config 'acl2 "ACL2" +(proof-easy-config 'acl2 "ACL2" proof-assistant-home-page "http://www.cs.utexas.edu/users/moore/acl2" proof-prog-name "acl2" @@ -32,7 +32,7 @@ proof-goal-command-regexp "(def\\w+\\s " proof-save-with-hole-regexp "(def\\w+[ \t\n]+\\(\\w+\\)" proof-save-with-hole-result 1 - proof-shell-error-regexp + proof-shell-error-regexp "^Error: \\|Error in TOP-LEVEL: \\|\\*\\*\\*\\* FAILED \\*\\*\\*" proof-shell-interrupt-regexp "Correctable error: Console interrupt." @@ -52,7 +52,7 @@ proof-script-syntax-table-entries '(?\[ "(] " ?\] "([ " - ?\( "() " + ?\( "() " ?\) ")( " ?. "w " ?_ "w " @@ -62,7 +62,7 @@ ?\' "' " ?` "' " ?, "' " - ?\| "." + ?\| "." ?\; "< " ?\n "> " ) |