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. --- isar/isabelle-system.el | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'isar') diff --git a/isar/isabelle-system.el b/isar/isabelle-system.el index a45e3470..9e2c64fc 100644 --- a/isar/isabelle-system.el +++ b/isar/isabelle-system.el @@ -257,9 +257,9 @@ for you, you should disable this behaviour." :group 'isabelle) (defvar isabelle-docs-menu - (let ((vc '(lambda (docdes) - (vector (car (cdr docdes)) - (list 'isa-view-doc (car docdes)) t)))) + (let ((vc (lambda (docdes) + (vector (car (cdr docdes)) + (list 'isa-view-doc (car docdes)) t)))) (list (cons "Isabelle Documentation" (mapcar vc (isa-tool-list-docs))))) "Isabelle documentation menu. Constructed when PG is loaded.") -- cgit v1.2.3