From 0d0af3dcce3a9b29d9c33c4cee34ca5249713904 Mon Sep 17 00:00:00 2001 From: Stefan Monnier Date: Thu, 30 Aug 2012 14:30:23 +0000 Subject: Summary: Don't quote lambda expressions * coq/coq-indent.el (coq-indent-inner-regexp): Remove old X-Symbol element. (coq-save-count, coq-proof-count): * obsolete/plastic/plastic.el (plastic-shell-handle-output): * lib/texi-docstring-magic.el (texi-docstring-magic-insert-magic): * lib/pg-dev.el (emacs-lisp-mode-hook): * lib/maths-menu.el (maths-menu-filter-predicate) (maths-menu-tokenise-insert): * lib/holes.el (holes-next): * lego/lego.el (lego-shell-handle-output): * isar/isabelle-system.el (isabelle-docs-menu): * coq/coq.el (coq-compile-command, coq-compile-auto-save) (coq-compile-ignored-directories, coq-load-path-safep) (proof-shell-handle-delayed-output-hook): Don't quote lambda. --- coq/coq-indent.el | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'coq/coq-indent.el') diff --git a/coq/coq-indent.el b/coq/coq-indent.el index 3b5f61ef..2e4d9742 100644 --- a/coq/coq-indent.el +++ b/coq/coq-indent.el @@ -22,7 +22,7 @@ (defconst coq-indent-inner-regexp (proof-regexp-alt - "[[]()]" "[^{]|[^}]" "šÕ" + "[[]()]" "[^{]|[^}]" ;; forall with must not be enclosed by \\< and ;;\\> . "~" forall but interacts with 'not' (proof-ids-to-regexp @@ -655,13 +655,13 @@ Returns point if found." (defun coq-goal-count (l) (coq-add-iter l 'coq-indent-goal-command-p)) (defun coq-save-count (l) - (coq-add-iter l '(lambda (x) - (or (coq-save-command-p nil x) - (eq (proof-string-match "\\<\\(?:EndSubproof\\)\\>\\|}" x) 0))))) + (coq-add-iter l (lambda (x) + (or (coq-save-command-p nil x) + (eq (proof-string-match "\\<\\(?:EndSubproof\\)\\>\\|}" x) 0))))) (defun coq-proof-count (l) - (coq-add-iter l '(lambda (x) - (eq (proof-string-match "\\<\\(?:Proof\\|BeginSubproof\\)\\>\\|{" x) 0)))) + (coq-add-iter l (lambda (x) + (eq (proof-string-match "\\<\\(?:Proof\\|BeginSubproof\\)\\>\\|{" x) 0)))) ;; returns the difference between goal (and assimilate Proof and BeginSubproof) and ;; save commands in a commands list. This is to -- cgit v1.2.3