From 4d90ac25a7113ac3e87ee78f8969ca68fdb12cb6 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 3 Sep 2009 09:13:44 +0000
Subject: Remove objectionable |> shortcut for Isar hackers

---
 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 2e1e7b55..96dab59d 100644
--- a/isar/isar-unicode-tokens.el
+++ b/isar/isar-unicode-tokens.el
@@ -588,7 +588,7 @@ For Isabelle, the token TOKNAME is made into the token \\< TNAME >."
     ;; ("!"  . "\\<forall>")
     ;; ("?"  . "\\<exists>")
     ;; extra misc, switch them off if you don't like them
-    ("|>" . "\\<triangleright>")
+    ;("|>" . "\\<triangleright>")
     ("<|" . "\\<triangleleft>"))
   "Shortcut key sequence table for symbol tokens input.
 See `unicode-tokens-shortcut-alist'."
-- 
cgit v1.2.3