diff options
| author | Makarius Wenzel | 2005-08-08 13:44:30 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2005-08-08 13:44:30 +0000 |
| commit | 97ffa89402e0d3f64d8d9565ba4f48a186adc670 (patch) | |
| tree | d456aea462495cbd8363f66bf967d355c6be4d27 | |
| parent | 0b676d8a5726f22088aa754362af61228a733d0b (diff) | |
proof-defshortcut isar-bold;
| -rw-r--r-- | isar/isar.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/isar/isar.el b/isar/isar.el index 7f24ba38..732f2eae 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -522,6 +522,7 @@ proof-shell-retract-files-regexp." ;; Commands specific to isar ;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +(proof-defshortcut isar-bold "\\<^bold>%p" [(control b)]) (proof-defshortcut isar-super "\\<^sup>%p" [(control u)]) (proof-defshortcut isar-sub "\\<^sub>%p" [(control l)]) (proof-defshortcut isar-longsuper "\\<^bsup>%p\\<^esup>" [u]) |