diff options
author | Makarius Wenzel <makarius@sketis.net> | 2005-08-26 21:49:04 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2005-08-26 21:49:04 +0000 |
commit | 0255aae918270af97725b296f9478ee1918bb3a9 (patch) | |
tree | 205fff5e981022218d8c0dda87d2180fa5ce7287 /isar/isar.el | |
parent | f90711be0c4d2857914602bc9998ce54adacbe00 (diff) |
proof-defshortcut isar-local: \<^loc>;
Diffstat (limited to 'isar/isar.el')
-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 b0ac82d3..df472e5a 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -524,6 +524,7 @@ proof-shell-retract-files-regexp." ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; (proof-defshortcut isar-bold "\\<^bold>%p" [(control b)]) +(proof-defshortcut isar-local "\\<^loc>%p" [(control c)]) (proof-defshortcut isar-super "\\<^sup>%p" [(control u)]) (proof-defshortcut isar-sub "\\<^sub>%p" [(control l)]) (proof-defshortcut isar-longsuper "\\<^bsup>%p\\<^esup>" [u]) |