From 97ffa89402e0d3f64d8d9565ba4f48a186adc670 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Mon, 8 Aug 2005 13:44:30 +0000
Subject: proof-defshortcut isar-bold;

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

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])
-- 
cgit v1.2.3