diff options
| author | David Aspinall | 2004-04-17 18:54:29 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-17 18:54:29 +0000 |
| commit | e40a27a293f2c2dd28b3675ee82cc67d3ad3e182 (patch) | |
| tree | 6f360dea4d1441e100615b0d5263083779e85485 | |
| parent | c7ec2ce548cfb89f31cd9d03fb7c1071e6232b28 (diff) | |
Add shortcuts for new X-Symbol sequences.
| -rw-r--r-- | isar/isar.el | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/isar/isar.el b/isar/isar.el index bb7e48aa..740b327d 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -505,9 +505,12 @@ proof-shell-retract-files-regexp." ;; Commands specific to isar ;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -(proof-defshortcut isar-super "\\<^sup>" [(control u)]) -(proof-defshortcut isar-sub "\\<^sub>" [(control l)]) - +(proof-defshortcut isar-super "\\<^sup>" [(control u)]) +(proof-defshortcut isar-sub "\\<^sub>" [(control l)]) +(proof-defshortcut isar-longsup "\\<^bsup>%p\\<^esup>" [u]) +(proof-defshortcut isar-longsub "\\<^bsub>%p\\<^esub>" [l]) +(proof-defshortcut isar-idsub "\\<^isub>" [(control i)]) +(proof-defshortcut isar-raw "\\<^raw:%p>" [(control r)]) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |