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. --- obsolete/plastic/plastic.el | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'obsolete') diff --git a/obsolete/plastic/plastic.el b/obsolete/plastic/plastic.el index f19b7006..f5462ba6 100644 --- a/obsolete/plastic/plastic.el +++ b/obsolete/plastic/plastic.el @@ -57,11 +57,11 @@ ;; Users should not need to change this. (defvar plastic-shell-handle-output - '(lambda (cmd string) - (when (proof-string-match "^Module" cmd) - ;; prevent output and just give a minibuffer message - (setq proof-shell-last-output-kind 'systemspecific) - (message "Imports done!"))) + (lambda (cmd string) + (when (proof-string-match "^Module" cmd) + ;; prevent output and just give a minibuffer message + (setq proof-shell-last-output-kind 'systemspecific) + (message "Imports done!"))) "Acknowledge end of processing import declarations.") (defconst plastic-process-config -- cgit v1.2.3