From b969f32e734e0474ff90616d1114c33c8b969897 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 4 Feb 2008 12:53:38 +0000
Subject: Support Isabelle control sequences for subscripts/superscripts

---
 isar/isar-unicode-tokens.el | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'isar')

diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el
index d8c581a2..f1774ec5 100644
--- a/isar/isar-unicode-tokens.el
+++ b/isar/isar-unicode-tokens.el
@@ -16,7 +16,10 @@
 (defconst isar-token-prefix "\\<")
 (defconst isar-token-suffix ">")
 (defconst isar-token-match "\\\\<\\([a-zA-Z0-9]+\\)")
+(defconst isar-control-token-match "\\\\<^\\([a-zA-Z0-9]+\\)>")
+(defconst isar-control-token-format "\\<^%s>")
 (defconst isar-hexcode-match "\\\\<\\(#[xX][0-9A-Fa-f]+\\)")
+(defconst isar-next-character-regexp "\\\\<#[xX][0-9A-Fa-f]+>\\|.")
 
 (defcustom isar-token-name-alist
   '(; token name, unicode char sequence
-- 
cgit v1.2.3