From 0255aae918270af97725b296f9478ee1918bb3a9 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 26 Aug 2005 21:49:04 +0000
Subject: proof-defshortcut isar-local: \<^loc>;

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

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