From 125fadc2db026434af39c0694f8de198d4ed57fc Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Tue, 4 Dec 2001 16:16:00 +0000
Subject: isar specific commands for bold/sup/sub;

---
 isar/isar.el | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'isar')

diff --git a/isar/isar.el b/isar/isar.el
index 56f7091c..db70761d 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -435,6 +435,16 @@ proof-shell-retract-files-regexp."
   (proof-string-match isar-undo-skip-regexp cmd))
 
 
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;   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                              ;;
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-- 
cgit v1.2.3