diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-10-10 16:56:32 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-10-10 16:56:32 +0000 |
commit | b12a8d0737fbd1179372a8e7774a423c799193c2 (patch) | |
tree | dc1a7534a48f511fecbda4c563d5d0202e63a3f7 /isar | |
parent | 0f35c852e109ab3ea9dbadd00318574aecdfcfa9 (diff) |
isar-user-tokens: add doc so user can see it when using customize
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 |