diff options
| author | David Aspinall | 2008-01-25 14:11:49 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-25 14:11:49 +0000 |
| commit | 0c8a70e3697afaf5d58bcffe2dbdf910ab823a1f (patch) | |
| tree | afb2510bd78eaac4fc1b308d6a2cd52bcb1b5cc3 /generic/pg-custom.el | |
| parent | fde5bf128d6157722dbd7058a8bfdbc6fddd8c4f (diff) | |
Add unicode-tokens-enable
Diffstat (limited to 'generic/pg-custom.el')
| -rw-r--r-- | generic/pg-custom.el | 7 |
1 files changed, 7 insertions, 0 deletions
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. |