From dbcc8b4d2affaa36d3679fa180b3cf98f0472e02 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel <makarius@sketis.net>
Date: Sat, 18 Jan 2014 19:36:06 +0000
Subject: unicode tokens for \<open>, \<close>, \<newline>;

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

(limited to 'isar')

diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el
index f037a5e5..598082a1 100644
--- a/isar/isar-unicode-tokens.el
+++ b/isar/isar-unicode-tokens.el
@@ -353,7 +353,10 @@
     ("hungarumlaut" "ʺ")
     ("spacespace" " ")  ;; #x002001
     ("module" "⟨module⟩" bold)
-    ("some" "ϵ"))
+    ("some" "ϵ")
+    ("open" "‹")
+    ("close" "›")
+    ("newline" "⏎"))
   "Symbol token map for Isabelle.  The standard set of Isabelle symbols."
   :type 'unicode-tokens-token-symbol-map
   :group 'isabelle-tokens
-- 
cgit v1.2.3