diff options
| -rw-r--r-- | generic/proof-menu.el | 1 |
1 files changed, 1 insertions, 0 deletions
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 |