From c28a965bd7a90be9f11843ef96549ab8269d43dc Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 26 May 2009 09:10:11 +0000
Subject: Hide goals marker start again (Isabelle2009 doesn't markup subgoals)

---
 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 4002f1b8..1232d4be 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -369,7 +369,7 @@ matches contents of quotes for quoted identifiers.")
 
 (defvar isar-output-font-lock-keywords-1
   (list
-   '("\^A[IJKLMNV]" (0 '(face nil invisible t) t))
+   '("\^A[IJKLMNOPV]" (0 '(face nil invisible t) t))
    (isar-output-flkprops 
     "\^AW" "\\(?:[^\^A]\\|\^A[^X]\\)*" "\^AX" 
     '(face (:underline t) mouse-face 'highlight sendback t))
-- 
cgit v1.2.3