From 5ec33db88a2ec74d2704fde4deda7813c5ec7c0c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 31 Aug 2009 09:19:40 +0000
Subject: isar-symbol-shortcuts: add customization

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

diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el
index aed90fdf..e70d2c0b 100644
--- a/isar/isar-unicode-tokens.el
+++ b/isar/isar-unicode-tokens.el
@@ -526,7 +526,7 @@ For Isabelle, the token TOKNAME is made into the token \\< TNAME >."
 ;; Shortcuts
 ;;
 
-(defconst isar-symbol-shortcuts
+(defcustom isar-symbol-shortcuts
   '(("\\/" . "\\<or>")
     ("/\\" . "\\<and>")
     ("+O" . "\\<oplus>")
@@ -583,13 +583,17 @@ For Isabelle, the token TOKNAME is made into the token \\< TNAME >."
     ("ALL" . "\\<forall>")
     ("EX"  . "\\<exists>")
     ("!!"  . "\\<And>")
+    ;; TODO: put these into replacement shortcuts, perhaps
     ;; ("~"  . "\\<not>")
     ;; ("!"  . "\\<forall>")
     ;; ("?"  . "\\<exists>")
     ;; extra misc, switch them off if you don't like them
     ("|>" . "\<triangleright>")
-    ("<|" . "\<triangleleft>")
-    ))
+    ("<|" . "\<triangleleft>"))
+    :type 'unicode-tokens-shortcut-alist
+    :set 'isar-set-and-restart-tokens
+    :group 'isabelle
+    :tag "Isabelle symbol shortcuts")
 
 (defcustom isar-shortcut-alist nil
   "Shortcut key sequence table for token input.
-- 
cgit v1.2.3