diff options
| author |  Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2018-12-20 14:42:21 +0100 |
|---|---|---|
| committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2018-12-20 14:42:21 +0100 |
| commit | ebb55c998867fd13f8767a52a9542447347f7dc1 (patch) | |
| tree | a2419396d62c3342e73e44099b8745d3201d09c7 /generic/proof-menu.el | |
| parent | 0c9565d4d69a94cf33db5f98b381c3332709aa1e (diff) | |
| parent | 883ce2ff1092003b6341cfebd1d7b2ab31239a41 (diff) | |
Merge branch 'master' of github.com:ProofGeneral/PG
Diffstat (limited to 'generic/proof-menu.el')
| -rw-r--r-- | generic/proof-menu.el | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index e43efcc0..dd3d05c8 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -793,7 +793,7 @@ suitable for adding to the proof assistant menu." (let* ((favs (proof-ass favourites)) (rmfavs (cl-remove-if - (lambda (f) (string-equal menuname (caddr f))) + (lambda (f) (string-equal menuname (cl-caddr f))) favs))) (unless (equal favs rmfavs) (easy-menu-remove-item proof-assistant-menu @@ -835,7 +835,7 @@ KEY is the optional key binding." ((menu-entry (proof-def-favourite command inscript menuname key t)) (favs (proof-ass favourites)) (rmfavs (cl-remove-if - (lambda (f) (string-equal menuname (caddr f))) + (lambda (f) (string-equal menuname (cl-caddr f))) favs)) (newfavs (append rmfavs @@ -864,11 +864,11 @@ KEY is the optional key binding." proof-assistant-settings) (dolist (grp (reverse groups)) (let* ((gstgs (cl-mapcan (lambda (stg) - (if (eq (get (car stg) 'pggroup) grp) - (list stg))) - proof-assistant-settings)) + (if (eq (get (car stg) 'pggroup) grp) + (list stg))) + proof-assistant-settings)) (cmds (mapcar (lambda (stg) - (apply 'proof-menu-entry-for-setting stg)) + (apply #'proof-menu-entry-for-setting stg)) (reverse gstgs)))) (setq ents (if grp (cons (cons grp cmds) ents) |