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.

4 files changed, 26 insertions, 26 deletions

diff --git a/lib/holes.el b/lib/holes.el
index 3a2ca044..9df00d6e 100644
--- a/lib/holes.el
+++ b/lib/holes.el
@@ -355,13 +355,13 @@ Operate betwenn START and END if non nil."
    'holes-clear-hole (or start (point-min)) (or end (point-max)) 
    'hole))
 
-;;; limit ?
+;; limit ?
 (defun holes-next (pos buffer)
   "Return the first hole after POS in BUFFER.
 Or after the hole at pos if there is one (default pos=point).  If no
 hole found, return nil."
   (holes-map-holes 
-   '(lambda (h x) (and (holes-is-hole-p h) h)) buffer pos))
+   (lambda (h x) (and (holes-is-hole-p h) h)) buffer pos))
 
 (defun holes-next-after-active-hole ()
   "Internal."
@@ -469,7 +469,7 @@ Sets `holes-active-hole' to the next hole if it exists."
 ;; mouse stuff, I want to make something close to `mouse-track-insert'
 ;; of XEmacs, but with modifier ctrl-meta and ctrl-meta-shift
 
-;;; Emacs and XEmacs have different ways of dealing with mouse
+;; Emacs and XEmacs have different ways of dealing with mouse
 ;; selection, but `mouse-track'(XEmacs) mouse-drag-region(Emacs)
 ;; have nearly the same meaning for me.  So I define this
 ;; track-mouse-selection.
diff --git a/lib/maths-menu.el b/lib/maths-menu.el
index d02ff02e..b9ddf927 100644
--- a/lib/maths-menu.el
+++ b/lib/maths-menu.el
@@ -1,6 +1,6 @@
 ;;; maths-menu.el --- insert maths characters from a menu  -*-coding: iso-2022-7bit;-*-
 
-;; Copyright (C) 2003  Free Software Foundation, Inc.
+;; Copyright (C) 2003, 2012  Free Software Foundation, Inc.
 
 ;; Author: Dave Love <fx@gnu.org>
 ;; Keywords: convenience
@@ -53,10 +53,10 @@
 
 ;;; Code:
 
-(defvar maths-menu-filter-predicate '(lambda (char) t)
+(defvar maths-menu-filter-predicate (lambda (char) t)
   "Predicate function used to filter menu elements")
 
-(defvar maths-menu-tokenise-insert '(lambda (char) (insert char))
+(defvar maths-menu-tokenise-insert #'insert
   "Function used to insert possibly formatted or escaped character.")
 
 (defun maths-menu-build-menu (spec)
diff --git a/lib/pg-dev.el b/lib/pg-dev.el
index 1d1c0e66..b37a77b9 100644
--- a/lib/pg-dev.el
+++ b/lib/pg-dev.el
@@ -29,17 +29,17 @@
 ;; and byte compilation on save:
 
 (add-hook 'emacs-lisp-mode-hook
-	  '(lambda ()
-	     (checkdoc-minor-mode 1)
-	     (turn-on-eldoc-mode)
-	     (flyspell-prog-mode)
-	     (customize-set-variable 'whitespace-action '(cleanup))
-	     (define-key emacs-lisp-mode-map [(control c)(control c)]
-	       'emacs-lisp-byte-compile)
-	     (add-hook 'write-file-functions
-		       'whitespace-write-file-hook nil t)
-	     (add-hook 'before-save-hook
-		       'copyright-update nil t)))
+	  (lambda ()
+            (checkdoc-minor-mode 1)
+            (turn-on-eldoc-mode)
+            (flyspell-prog-mode)
+            (customize-set-variable 'whitespace-action '(cleanup))
+            (define-key emacs-lisp-mode-map [(control c)(control c)]
+              'emacs-lisp-byte-compile)
+            (add-hook 'write-file-functions
+                      'whitespace-write-file-hook nil t)
+            (add-hook 'before-save-hook
+                      'copyright-update nil t)))
 
 ;; Fill in template for new files
 
@@ -69,11 +69,11 @@
 	     (t 'font-lock-function-name-face))
        nil t)))
 
-; not working, see font-lock.el for usual emacs lisp settings
-;(add-hook 'emacs-lisp-mode-hook
-;	  '(lambda ()
-;	     (font-lock-add-keywords nil
-;				     'pg-dev-lisp-font-lock-keywords)))
+;; Not working, see font-lock.el for usual emacs lisp settings.
+;;(add-hook 'emacs-lisp-mode-hook
+;;	  (lambda ()
+;;	    (font-lock-add-keywords nil
+;;				    'pg-dev-lisp-font-lock-keywords)))
 
 
 ;;
diff --git a/lib/texi-docstring-magic.el b/lib/texi-docstring-magic.el
index d9791cfd..6e8c8e49 100644
--- a/lib/texi-docstring-magic.el
+++ b/lib/texi-docstring-magic.el
@@ -389,10 +389,10 @@ With prefix arg, no errors on unknown symbols.  (This results in
 		  (if v
 		      (format "Magic docstring for symbol (default %s): " v)
 		     "Magic docstring for symbol: ")
-		   obarray '(lambda (sym)
-			      (or (boundp sym)
-				  (fboundp sym)
-				  (texi-docstring-magic-find-face sym)))
+		   obarray (lambda (sym)
+                             (or (boundp sym)
+                                 (fboundp sym)
+                                 (texi-docstring-magic-find-face sym)))
 		   t nil 'variable-history))))
      (list (if (equal val "") v (intern val)))))
   (insert "\n" texi-docstring-magic-comment " " (symbol-name symbol)))