From 395342b76696f0df407bedab2624228baac9c164 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Mon, 7 Sep 2009 08:58:35 +0000
Subject: Remove \t in \<inverse> expansion. Make \<spacespace> be a single
 EM-DASH SPACE

---
 isar/isar-unicode-tokens.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el
index 02423ca3..7ecc08ef 100644
--- a/isar/isar-unicode-tokens.el
+++ b/isar/isar-unicode-tokens.el
@@ -310,7 +310,7 @@
     ("copyright" "©")
     ("registered" "®")
     ("hyphen" "‐")
-    ("inverse" "\t¯¹") ; X-Symb: just "¯"
+    ("inverse" "¯¹") ; X-Symb: just "¯"
     ("onesuperior" "¹")
     ("twosuperior" "²")
     ("threesuperior" "³")
@@ -340,7 +340,7 @@
     ("dieresis" "¨")
     ("cedilla" "¸")
     ("hungarumlaut" "ʺ")
-    ("spacespace" "  ")  ;; two #x002001
+    ("spacespace" " ")  ;; #x002001
     ("module" "⟨module⟩" bold)
     ("some" "ϵ"))
   "Symbol token map for Isabelle.  The standard set of Isabelle symbols."
-- 
cgit v1.2.3