diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-15 17:08:10 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-15 17:08:10 +0000 |
| commit | fb0868cf2fde231d280e7410771dde1dd10b1759 (patch) | |
| tree | 993c1fe46a548d46abc252f299f8d47141f6514c | |
| parent | 14d85dcfe91fa36a485a591c11009ffeb24259d5 (diff) | |
Comments.
| -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 |