diff options
Diffstat (limited to 'isar')
-rw-r--r-- | isar/isar-unicode-tokens.el | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el index 8b4970d9..f037a5e5 100644 --- a/isar/isar-unicode-tokens.el +++ b/isar/isar-unicode-tokens.el @@ -511,14 +511,22 @@ Each element is a list (TOKNAME COMPOSITION FONTSYMB ...) -For Isabelle, the token TOKNAME is made into the token \\< TNAME >." +COMPOSITION is usually a string, perhaps containing Unicode characters. +For Isabelle, the token TOKNAME is made into the token \\<TOKNAME>." :type 'unicode-tokens-token-symbol-map :group 'isabelle :set 'isar-set-and-restart-tokens :tag "Isabelle Unicode Token Mapping") (defcustom isar-user-tokens nil - "User-defined additions to `isar-token-symbol-map'." + "User-defined additions to `isar-token-symbol-map'. + +Each element is a list + + (TOKNAME COMPOSITION FONTSYMB ...) + +COMPOSITION is usually a string, perhaps containing Unicode characters. +For Isabelle, the token TOKNAME is made into the token \\<TOKNAME>." :type 'unicode-tokens-token-symbol-map :group 'isabelle :set 'isar-set-and-restart-tokens |