From 202a873cf31a50b2a0e2e252343723549e196b2d Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 6 Feb 2008 23:08:52 +0000 Subject: proof-quick-opts-vars: add -unicode-tokens-enable --- generic/proof-menu.el | 1 + 1 file changed, 1 insertion(+) diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 1907f486..af7950d1 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -443,6 +443,7 @@ without adjusting window layout." ;;'proof-output-fontify-enable 'proof-strict-read-only (proof-ass-sym x-symbol-enable) + (proof-ass-sym unicode-tokens-enable) (proof-ass-sym maths-menu-enable) (proof-ass-sym mmm-enable) 'proof-toolbar-enable -- cgit v1.2.3