diff options
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isar.el | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/isar/isar.el b/isar/isar.el index 5a7831f7..5b4c0b97 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -495,7 +495,6 @@ proof-shell-retract-files-regexp." ;; Commands specific to isar ;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -(proof-defshortcut isar-bold "\\<^bold>" [(control b)]) (proof-defshortcut isar-super "\\<^sup>" [(control u)]) (proof-defshortcut isar-sub "\\<^sub>" [(control l)]) |