From eaa9c3e99e9d76ab2961f006cad3b7d2517e435c Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 1 Dec 2009 23:27:26 +0000 Subject: Add rest of standard token symbols for alphabets in other fonts (e.g. fraktur lower case \, whatever these are supposed to look like). --- isar/isar-unicode-tokens.el | 17 ++++++++++++----- 1 file 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 ; \ \ ... (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 ; \ \ ... + (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 ; \ \ .. (isar-map-letters (lambda (x) (format "%c%c" x x)) (lambda (x) (format "%c" x)) 'frakt)) +(defconst isar-fraktur-lowercase-letters-tokens ; \ \ .. + (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))) -- cgit v1.2.3