diff options
| author | David Aspinall | 2008-02-06 23:08:52 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-02-06 23:08:52 +0000 |
| commit | 202a873cf31a50b2a0e2e252343723549e196b2d (patch) | |
| tree | ead63cbbd54f3ab3a97093aa8e6350c77985a636 /generic | |
| parent | e9f0c029027fe3ddd286b6f533f67ff39e6c7e11 (diff) | |
proof-quick-opts-vars: add <PA>-unicode-tokens-enable
Diffstat (limited to 'generic')
| -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 |