From 8e13538bbf73e43eca3e2fe421373910e2c8796d Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Tue, 31 Mar 2009 16:08:10 +0000
Subject: isar-output-font-lock-keywords-1: simplified regexp for invisible
 stuff, and added special "L", special "V";

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

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index 239a02ec..bb231871 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -366,7 +366,7 @@ matches contents of quotes for quoted identifiers.")
 
 (defvar isar-output-font-lock-keywords-1
   (list
-   '("\^AI\\|\^AJ\\|\^AK\\|\^AM\\|\^AN\\|\^AO\\|\^AP" (0 '(face nil invisible t) t))
+   '("\^A[IJKLMNOPV]" (0 '(face nil invisible t) t))
    (isar-output-flk "\^A0" "\\(?:[^\^A]\\|\^A[^1]\\)*" "\^A1" 'proof-warning-face)
 ;; done generically at the moment:
 ;;  (isar-output-flk "\^AM" "\\(?:[^\^A]\\|\^A[^N]\\)*" "\^AN" 'proof-error-face)
-- 
cgit v1.2.3