From b39170289b4c330df0eecef57bdd149bddf44c6c Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Mon, 31 Aug 2009 09:16:10 +0000
Subject: Remove over-enthusiastic single-character shortcuts

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

(limited to 'isar/isar-unicode-tokens.el')

diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el
index 9d6cd263..aed90fdf 100644
--- a/isar/isar-unicode-tokens.el
+++ b/isar/isar-unicode-tokens.el
@@ -583,9 +583,9 @@ For Isabelle, the token TOKNAME is made into the token \\< TNAME >."
     ("ALL" . "\\<forall>")
     ("EX"  . "\\<exists>")
     ("!!"  . "\\<And>")
-    ("~"  . "\\<not>")
-    ("!"  . "\\<forall>")
-    ("?"  . "\\<exists>")
+    ;; ("~"  . "\\<not>")
+    ;; ("!"  . "\\<forall>")
+    ;; ("?"  . "\\<exists>")
     ;; extra misc, switch them off if you don't like them
     ("|>" . "\<triangleright>")
     ("<|" . "\<triangleleft>")
-- 
cgit v1.2.3