diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-01-28 12:10:12 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-28 12:10:12 +0000 |
| commit | 7e3b1ca2dc1d94df5a4e6184ea0593b80a765f48 (patch) | |
| tree | 9ce1df90557527180ac8811022be7bbe62ac48e1 /generic/proof-unicode-tokens.el | |
| parent | 808995785f0a04b5cd8c6d18afa952ad3b35c135 (diff) | |
Add shortcuts for tokens.
Diffstat (limited to 'generic/proof-unicode-tokens.el')
| -rw-r--r-- | generic/proof-unicode-tokens.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/proof-unicode-tokens.el b/generic/proof-unicode-tokens.el index 7c1b09b2..95c4b691 100644 --- a/generic/proof-unicode-tokens.el +++ b/generic/proof-unicode-tokens.el @@ -41,7 +41,8 @@ token-match hexcode-match token-prefix - token-suffix)) + token-suffix + shortcut-alist)) (unicode-tokens-initialise) (setq proof-unicode-tokens-initialised t)) |