diff options
Diffstat (limited to 'generic/proof-easy-config.el')
| -rw-r--r-- | generic/proof-easy-config.el | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/generic/proof-easy-config.el b/generic/proof-easy-config.el index 0752003b..12b78242 100644 --- a/generic/proof-easy-config.el +++ b/generic/proof-easy-config.el @@ -32,17 +32,13 @@ (mode (intern (concat modert hyphen "mode"))) (modename (concat proof-assistant " " suffixnm)) ;; FIXME: declare these variables in proof-config: - ;; proof-{goals,resp,trace}-font-lock-keywords, ;; proof-{goals,resp,trace}-syntax-table-entries ;; FIXME: in future versions, use these settings in *-config-done ;; to simplify elisp code elsewhere. ;; FIXME: add imenu-generic-expression too ;; - (fntlcks (intern (concat "proof-" suffixnm "-font-lock-keywords"))) (modsyn (intern (concat "proof-" suffixnm "-syntax-table-entries"))) (fullbody (append - (if (and (boundp fntlcks) (eval fntlcks)) - (list `(setq font-lock-keywords ,fntlcks))) (if (and (boundp modsyn) (eval modsyn)) (list `(let ((syn ,modsyn)) (while syn |