From 29f0166b31aa7b9ea1ab60b100015c6f2b742e28 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 4 Feb 2008 12:52:55 +0000
Subject: Further configuration settings

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

(limited to 'generic')

diff --git a/generic/proof-unicode-tokens.el b/generic/proof-unicode-tokens.el
index 6d95185f..7dd73bc8 100644
--- a/generic/proof-unicode-tokens.el
+++ b/generic/proof-unicode-tokens.el
@@ -38,10 +38,13 @@
 	      (eval `(proof-ass ,var)))))
    '(charref-format
      token-format
+     control-token-format
      token-name-alist
      glyph-list
      token-match
+     control-token-match
      hexcode-match
+     next-character-regexp
      token-prefix
      token-suffix
      shortcut-alist))
-- 
cgit v1.2.3