From e40a27a293f2c2dd28b3675ee82cc67d3ad3e182 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 17 Apr 2004 18:54:29 +0000
Subject: Add shortcuts for new X-Symbol sequences.

---
 isar/isar.el | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/isar/isar.el b/isar/isar.el
index bb7e48aa..740b327d 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -505,9 +505,12 @@ proof-shell-retract-files-regexp."
 ;;   Commands specific to isar                                      ;;
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
-(proof-defshortcut isar-super "\\<^sup>" [(control u)])
-(proof-defshortcut isar-sub "\\<^sub>"   [(control l)])
-
+(proof-defshortcut isar-super    "\\<^sup>" [(control u)])
+(proof-defshortcut isar-sub      "\\<^sub>"   [(control l)])
+(proof-defshortcut isar-longsup  "\\<^bsup>%p\\<^esup>" [u])
+(proof-defshortcut isar-longsub  "\\<^bsub>%p\\<^esub>" [l])
+(proof-defshortcut isar-idsub    "\\<^isub>" [(control i)])
+(proof-defshortcut isar-raw      "\\<^raw:%p>" [(control r)])
 
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-- 
cgit v1.2.3