From 0c8a70e3697afaf5d58bcffe2dbdf910ab823a1f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 25 Jan 2008 14:11:49 +0000
Subject: Add unicode-tokens-enable

---
 generic/pg-custom.el | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'generic/pg-custom.el')

diff --git a/generic/pg-custom.el b/generic/pg-custom.el
index f977ae97..09bcc197 100644
--- a/generic/pg-custom.el
+++ b/generic/pg-custom.el
@@ -36,6 +36,7 @@ whether X-Symbol is installed in your Emacs."
   :set 'proof-set-value
   :group 'proof-user-options)
 
+;; todo: can remove this one now, rename isabelle-x-symbol -> isar-x-symbol
 (defpgcustom x-symbol-language proof-assistant-symbol
   "Setting for x-symbol-language for the current proof assistant.
 It defaults to proof-assistant-symbol, which makes X Symbol
@@ -47,6 +48,12 @@ look for files named x-symbol-<PA>.el.")
   :set 'proof-set-value
   :group 'proof-user-options)
 
+(defpgcustom unicode-tokens-enable nil
+  "*Non-nil for using Unicode token input mode in Proof General."
+  :type 'boolean
+  :set 'proof-set-value
+  :group 'proof-user-options)
+
 (defpgcustom mmm-enable nil
   "*Whether to use MMM Mode in Proof General for this assistant.
 MMM Mode allows multiple modes to be used in the same buffer.
-- 
cgit v1.2.3