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.

2 files changed, 29 insertions, 29 deletions

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 
diff --git a/coq/coq.el b/coq/coq.el
index 9647bcd0..48cadde3 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1299,10 +1299,10 @@ when module \"foo\" from directory \"bar\" is required.
 After the substitution the command can be changed in the
 minibuffer if `coq-confirm-external-compilation' is t."
   :type 'string
-  :safe '(lambda (v)
-           (and (stringp v)
-                (or (not (boundp 'coq-confirm-external-compilation))
-                    coq-confirm-external-compilation)))
+  :safe (lambda (v)
+          (and (stringp v)
+               (or (not (boundp 'coq-confirm-external-compilation))
+                   coq-confirm-external-compilation)))
   :group 'coq-auto-compile)
 
 (defconst coq-compile-substitution-list
@@ -1384,7 +1384,7 @@ confirmation."
      "save all coq-mode buffers except the current buffer without confirmation"
      save-coq)
     (const :tag "save all buffers without confirmation" save-all))
-  :safe '(lambda (v) (member v '(ask-coq ask-all save-coq save-all)))
+  :safe (lambda (v) (member v '(ask-coq ask-all save-coq save-all)))
   :group 'coq-auto-compile)
 
 (defcustom coq-lock-ancestors t
@@ -1424,7 +1424,7 @@ compilation. It makes sense to include non-standard coq library
 directories here if they are not changed and if they are so big
 that dependency checking takes noticeable time."
   :type '(repeat regexp)
-  :safe '(lambda (v) (every 'stringp v))
+  :safe (lambda (v) (every 'stringp v))
   :group 'coq-auto-compile)
 
 (defcustom coq-compile-ignore-library-directory t
@@ -1520,19 +1520,19 @@ DEP-MOD-TIMES is empty it returns nil."
   (and
    (listp path)
    (every
-    '(lambda (entry)
-       (or (stringp entry)
-           (and (listp entry)
-                (eq (car entry) 'rec)
-                (every 'stringp (cdr entry))
-                (equal (length entry) 3))
-           (and (listp entry)
-                (eq (car entry) 'nonrec)
-                (every 'stringp (cdr entry))
-                (equal (length entry) 3))
-           (and (listp entry)
-                (every 'stringp entry)
-                (equal (length entry) 2))))
+    (lambda (entry)
+      (or (stringp entry)
+          (and (listp entry)
+               (eq (car entry) 'rec)
+               (every 'stringp (cdr entry))
+               (equal (length entry) 3))
+          (and (listp entry)
+               (eq (car entry) 'nonrec)
+               (every 'stringp (cdr entry))
+               (equal (length entry) 3))
+          (and (listp entry)
+               (every 'stringp entry)
+               (equal (length entry) 2))))
     path)))
 
 ;; Compute command line for starting coqtop
@@ -2622,10 +2622,10 @@ number of hypothesis displayed, without hiding the goal"
 (add-hook 'proof-shell-handle-delayed-output-hook
 	  'coq-update-minor-mode-alist)
 (add-hook 'proof-shell-handle-delayed-output-hook
-          '(lambda ()
-             (if (proof-string-match coq-shell-proof-completed-regexp
-                                     proof-shell-last-output)
-                 (proof-clean-buffer proof-goals-buffer))))
+          (lambda ()
+            (if (proof-string-match coq-shell-proof-completed-regexp
+                                    proof-shell-last-output)
+                (proof-clean-buffer proof-goals-buffer))))
 
 
 (defun is-not-split-vertic (selected-window)