From 7b644eb8ab07d04e2787e079e256ba21fd932958 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 11 Oct 2010 00:05:32 +0000 Subject: unicode-tokens-enable: turn on by default in Isabelle --- generic/pg-custom.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'generic/pg-custom.el') 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 -- cgit v1.2.3