From 01981de62f510b0049a6cdfa2d6790e8b2e66e1d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 22 Nov 1999 18:39:18 +0000
Subject: Added curious comment

---
 generic/proof-config.el | 1 +
 1 file changed, 1 insertion(+)

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
-- 
cgit v1.2.3