diff options
| author | David Aspinall | 1999-11-22 18:39:18 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-22 18:39:18 +0000 |
| commit | 01981de62f510b0049a6cdfa2d6790e8b2e66e1d (patch) | |
| tree | a6cf267c757c8acf52ce04285df50308f255e532 | |
| parent | d3325f5e566d2c419ae901ed59bdb8e1aa420f28 (diff) | |
Added curious comment
| -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 |