From ab64c4b648bee4430cf889f2063dc79da537d449 Mon Sep 17 00:00:00 2001 From: Makarius Wenzel Date: Wed, 13 Feb 2008 15:24:52 +0000 Subject: tuned comment; --- isar/isar-unicode-tokens.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'isar/isar-unicode-tokens.el') diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el index 383034a5..e58ef9d3 100644 --- a/isar/isar-unicode-tokens.el +++ b/isar/isar-unicode-tokens.el @@ -459,7 +459,7 @@ ("sevensuperior" . "⁷") ("eightsuperior" . "⁸") ("ninesuperior" . "⁹")) - "Table mapping Isabelle ``xsymbol'' token names to Unicode strings. + "Table mapping Isabelle ``symbol'' token names to Unicode strings. You can adjust this table to add more entries, or to change entries for glyphs that not are available in your Emacs or chosen font. -- cgit v1.2.3