diff options
| -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)]) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |