From 60d7a20328d9e3a2b34f3761f2b2a8e82dff9238 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 3 Aug 2008 20:45:48 +0000
Subject: Updated.

---
 isar/isar-unicode-tokens.el | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'isar')

diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el
index 18e75727..e896267e 100644
--- a/isar/isar-unicode-tokens.el
+++ b/isar/isar-unicode-tokens.el
@@ -23,11 +23,8 @@
 (defconst isar-control-char-format-regexp 
   "\\(\\\\<\\^%s>\\)\\([^\\]\\|\\\\<[A-Za-z]+>\\)")
 
-(defconst isar-control-region-format-beg "\\<^%s>")
-(defconst isar-control-region-format-end "\\<^%s>")
 (defconst isar-control-char-format "\\<^%s>")
 
-
 (defconst isar-control-characters
   '(("Subscript" "sub" sub) 
     ("Id subscript" "isub" sub)
@@ -68,7 +65,7 @@
 ;(defconst isar-token-variant-format-regexp 
 ;  "\\\\<\\(%s\\)\\([:][a-zA-Z0-9]+\\)?>") ; syntax change required
 (defconst isar-token-variant-format-regexp 
-  "\\\\<\\(%s\\)\\([0-9]+\\)?>") ; unofficial interpretation of usual syntax
+  "\\\\<\\(%s\\)[0-9]*>") ; unofficial interpretation of usual syntax
 
 (defconst isar-greek-letters-tokens
   '(("alpha" "α")
-- 
cgit v1.2.3