diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-10-11 00:05:32 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-10-11 00:05:32 +0000 |
commit | 7b644eb8ab07d04e2787e079e256ba21fd932958 (patch) | |
tree | 4428416ca1c702568698be4522d1a2ebf95cbc59 /generic/pg-custom.el | |
parent | 4a5d51dba80d7437692e8ecd5151e85105405f85 (diff) |
unicode-tokens-enable: turn on by default in Isabelle
Diffstat (limited to 'generic/pg-custom.el')
-rw-r--r-- | generic/pg-custom.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/pg-custom.el b/generic/pg-custom.el index d85a1819..5218cda5 100644 --- a/generic/pg-custom.el +++ b/generic/pg-custom.el @@ -176,7 +176,7 @@ Currently this setting is UNIMPLEMENTED, changes have no effect." :set 'proof-set-value :group 'proof-user-options) -(defpgcustom unicode-tokens-enable nil +(defpgcustom unicode-tokens-enable (eq proof-assistant-symbol 'isar) "*Non-nil for using Unicode token input mode in Proof General." :type 'boolean :set 'proof-set-value |