From 44e162ded2c914defb2579066c0b082b35547ae2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 6 Aug 2008 09:43:30 +0000
Subject: Comment

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

diff --git a/generic/proof-unicode-tokens.el b/generic/proof-unicode-tokens.el
index 99434c57..b636eaa5 100644
--- a/generic/proof-unicode-tokens.el
+++ b/generic/proof-unicode-tokens.el
@@ -108,6 +108,7 @@ Switch off tokens in all script buffers, recalculate maps, turn on again."
        (proof-buffers-in-mode proof-mode-for-script)
        (unicode-tokens-mode 1)))))
 
+;; functions to dynamically change settings
 (eval-after-load "unicode-tokens"
   '(dolist (var unicode-tokens-configuration-variables)
      (funcall 'defalias
-- 
cgit v1.2.3