From b35ce5388cfbd86b2be92e7acb56ff4aa215f58a Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 5 Sep 2009 10:42:23 +0000 Subject: Clean whitespace --- acl2/acl2.el | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) (limited to 'acl2') 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 ;; @@ -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 "> " ) -- cgit v1.2.3