diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-12-01 23:27:26 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-12-01 23:27:26 +0000 |
commit | eaa9c3e99e9d76ab2961f006cad3b7d2517e435c (patch) | |
tree | 465ebda19c83169ecbefcfdd97f670d54383c89b /isar/isar-unicode-tokens.el | |
parent | 6bf7903d3d22e64045783c709d27fdcc2cfea714 (diff) |
Add rest of standard token symbols for alphabets in other fonts
(e.g. fraktur lower case \<aa>, whatever these are supposed to look like).
Diffstat (limited to 'isar/isar-unicode-tokens.el')
-rw-r--r-- | isar/isar-unicode-tokens.el | 17 |
1 files changed, 12 insertions, 5 deletions
diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el index 3241234c..581543ab 100644 --- a/isar/isar-unicode-tokens.el +++ b/isar/isar-unicode-tokens.el @@ -481,21 +481,26 @@ tokens." collect (cons (funcall f1 c) (cons (funcall f2 c) symbs)))) -(defconst isar-script-letters-tokens +(defconst isar-script-letters-tokens ; \<A> \<B> ... (isar-map-letters (lambda (x) (format "%c" x)) (lambda (x) (format "%c" x)) 'script)) -(defconst isar-roman-letters-tokens - (isar-map-letters (lambda (x) (format "%c" x)) - (lambda (x) (format "%c" x)) +(defconst isar-roman-letters-tokens ; \<a> \<b> ... + (isar-map-letters (lambda (x) (downcase (format "%c" x))) + (lambda (x) (downcase (format "%c" x))) 'serif)) -(defconst isar-fraktur-letters-tokens +(defconst isar-fraktur-uppercase-letters-tokens ; \<AA> \<BB> .. (isar-map-letters (lambda (x) (format "%c%c" x x)) (lambda (x) (format "%c" x)) 'frakt)) +(defconst isar-fraktur-lowercase-letters-tokens ; \<AA> \<BB> .. + (isar-map-letters (lambda (x) (downcase (format "%c%c" x x))) + (lambda (x) (downcase (format "%c" x))) + 'frakt)) + (defcustom isar-token-symbol-map nil "Table mapping Isabelle symbol token names to Unicode strings. See `unicode-tokens-token-symbol-map'. @@ -531,6 +536,8 @@ For Isabelle, the token TOKNAME is made into the token \\< TNAME >." isar-bold-nums-tokens isar-script-letters-tokens isar-roman-letters-tokens + isar-fraktur-uppercase-letters-tokens + isar-fraktur-lowercase-letters-tokens isar-user-tokens isar-symbols-tokens-fallbacks))) |