From 827ddd2b4923e0f3fdf245c8abd3e9ff4c4d3dcb Mon Sep 17 00:00:00 2001
From: Gerwin Klein
Date: Thu, 16 Oct 2003 23:47:14 +0000
Subject: allow sub/super scripts in identifiers (\<^isub> and \<^isup>)

---
 isar/isar-syntax.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'isar')

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index 54e344a8..32f06efd 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -191,8 +191,8 @@
 ;		   (concat "\\<" s "\\>")))
 ;   l "\\|"))
 
-(defconst isar-ext-first "\\(?:\\\\<[A-Za-z]+>\\|[A-Za-z]\\)")
-(defconst isar-ext-rest "\\(?:\\\\<[A-Za-z]+>\\|[A-Za-z0-9'_]\\)")
+(defconst isar-ext-first "\\(?:\\\\<\\^?[A-Za-z]+>\\|[A-Za-z]\\)")
+(defconst isar-ext-rest "\\(?:\\\\<\\^?[A-Za-z]+>\\|[A-Za-z0-9'_]\\)")
 
 (defconst isar-long-id-stuff (concat "\\(?:" isar-ext-rest "\\|\.\\)+"))
 (defconst isar-id (concat "\\(?:" isar-ext-first isar-ext-rest "*\\)"))
-- 
cgit v1.2.3