diff options
| -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 |