From b12a8d0737fbd1179372a8e7774a423c799193c2 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sun, 10 Oct 2010 16:56:32 +0000 Subject: isar-user-tokens: add doc so user can see it when using customize --- isar/isar-unicode-tokens.el | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) (limited to 'isar') 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 \\." :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 \\." :type 'unicode-tokens-token-symbol-map :group 'isabelle :set 'isar-set-and-restart-tokens -- cgit v1.2.3