diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-11-22 18:39:18 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-22 18:39:18 +0000 |
commit | 01981de62f510b0049a6cdfa2d6790e8b2e66e1d (patch) | |
tree | a6cf267c757c8acf52ce04285df50308f255e532 /generic/proof-config.el | |
parent | d3325f5e566d2c419ae901ed59bdb8e1aa420f28 (diff) |
Added curious comment
Diffstat (limited to 'generic/proof-config.el')
-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 |