diff options
| -rw-r--r-- | generic/proof-easy-config.el | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/generic/proof-easy-config.el b/generic/proof-easy-config.el index 7b87ae72..cbc450d9 100644 --- a/generic/proof-easy-config.el +++ b/generic/proof-easy-config.el @@ -32,10 +32,12 @@ (modename (concat proof-assistant " " suffixnm)) (varname (intern (concat "proof-mode-for-" suffixnm))) ;; FIXME: declare these variables in proof-config: - ;; proof-script-font-lock-keywords, -shell-, etc. - ;; proof-script-syntax-table-entries, -shell-, etc. + ;; 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 |