diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-08-31 09:19:40 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-08-31 09:19:40 +0000 |
| commit | 5ec33db88a2ec74d2704fde4deda7813c5ec7c0c (patch) | |
| tree | 540be6d6350923f189514bf539d75251e60a2ce7 /isar/isar-unicode-tokens.el | |
| parent | b39170289b4c330df0eecef57bdd149bddf44c6c (diff) | |
isar-symbol-shortcuts: add customization
Diffstat (limited to 'isar/isar-unicode-tokens.el')
| -rw-r--r-- | isar/isar-unicode-tokens.el | 10 |
1 files 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. |