From 43223f0fd8c99a6f85fbcf206e34aef7b8ffe47c Mon Sep 17 00:00:00 2001
From: Gerwin Klein
Date: Tue, 23 Dec 2003 12:24:06 +0000
Subject: removed bold, no longer supported by x-symbol

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

(limited to 'isar')

diff --git a/isar/isar.el b/isar/isar.el
index 5a7831f7..5b4c0b97 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -495,7 +495,6 @@ 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)])
 
-- 
cgit v1.2.3