diff options
| author | David Aspinall | 2002-07-18 19:18:17 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-18 19:18:17 +0000 |
| commit | 831048a216df7cd4a9b8faeac182ad1389783dc6 (patch) | |
| tree | c88ac18976b4986e602ca108edd1067684f90ed2 /generic/proof-config.el | |
| parent | be98519ecbb09cf94f8e67e8a7bd7271b073250e (diff) | |
Comments
Diffstat (limited to 'generic/proof-config.el')
| -rw-r--r-- | generic/proof-config.el | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index bfcda272..a8900e4c 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -2283,9 +2283,14 @@ tokens (for example, editing documentation or source code files)." :type '(repeat symbol) :group 'proof-x-symbol) -;; I don't really know what this setting is good for? +;; FIXME: should perhaps be one of these per prover +;; FIXME: actually this setting doesn't seem to be needed: +;; instead X-Symbol uses x-symbol-<lang>-font-lock-keywords. (defcustom proof-xsym-font-lock-keywords nil - "Font lock keywords to use for the proof assistants X-Symbol token language." + "Font lock keywords to use for the proof assistants X-Symbol token language. +This should be set to the additional font-lock-keywords used for the +proof assistant when X-Symbol is enabled. (For example, additional +keywords used for bold or superscript text: see isa/x-symbol-isabelle.el)" :type 'sexp :group 'proof-x-symbol) |