diff options
Diffstat (limited to 'generic/proof-unicode-tokens.el')
| -rw-r--r-- | generic/proof-unicode-tokens.el | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/generic/proof-unicode-tokens.el b/generic/proof-unicode-tokens.el index 270309ed..3f9f0199 100644 --- a/generic/proof-unicode-tokens.el +++ b/generic/proof-unicode-tokens.el @@ -77,6 +77,8 @@ Turn on/off menu in all script buffers and ensure new buffers follow suit." (unicode-tokens-mode (if flag 1 0))) (proof-unicode-tokens-configure-prover)) + +;;;###autoload (defun proof-unicode-tokens-enable () "Turn on or off Unicode tokens mode in Proof General script buffer. This invokes `unicode-tokens-mode' to toggle the setting for the current |