diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-08-31 09:16:10 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-08-31 09:16:10 +0000 |
| commit | b39170289b4c330df0eecef57bdd149bddf44c6c (patch) | |
| tree | 749ff4c8f23ac2a9663c33f620992e0de6419b73 /isar/isar-unicode-tokens.el | |
| parent | 16d8b4c1bfe5ea5689e492f08841120eef4f3753 (diff) | |
Remove over-enthusiastic single-character shortcuts
Diffstat (limited to 'isar/isar-unicode-tokens.el')
| -rw-r--r-- | isar/isar-unicode-tokens.el | 6 |
1 files changed, 3 insertions, 3 deletions
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>") |