diff options
author | Makarius Wenzel <makarius@sketis.net> | 2001-12-04 16:16:00 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2001-12-04 16:16:00 +0000 |
commit | 125fadc2db026434af39c0694f8de198d4ed57fc (patch) | |
tree | d781b5bb3c0697846bb7a0ede3ffe3643fb9829c /isar | |
parent | dbcc799c6d2e7c2666389af109dd50ee19bf1c30 (diff) |
isar specific commands for bold/sup/sub;
Diffstat (limited to 'isar')
-rw-r--r-- | isar/isar.el | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/isar/isar.el b/isar/isar.el index 56f7091c..db70761d 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -436,6 +436,16 @@ 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)]) + + + +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; Isar shell startup and exit hooks ;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |