diff options
| -rw-r--r-- | generic/proof-config.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index df36df85..e5bf8e52 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -1643,6 +1643,7 @@ 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? (defcustom proof-xsym-font-lock-keywords nil "Font lock keywords to use for the proof assistants X-Symbol token language." :type 'sexp |