From 790626349863010913335c4e1a92b5c6e0575523 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Tue, 8 May 2007 11:22:40 +0000
Subject: tuned pg-special-char-regexp;

---
 isar/isar.el | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

diff --git a/isar/isar.el b/isar/isar.el
index b4b11479..a1176dfb 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -214,12 +214,11 @@ See -k option for Isabelle interface script."
    ;; Allow font-locking for output based on hidden annotations, see
    ;; isar-output-font-lock-keywords-1
    pg-use-specials-for-fontify		t
-   pg-special-char-regexp               ;; should be: "[\200-\377]\\|\^A[A-Z]"
-   ;; da: the character range here fails to match (actually, fails
-   ;; to match-replace) in xemacs 21.5 betas, so I'm listing the 
-   ;; characters instead, which works.
-   ;; This should probably be tuned to the ones actually used by Isabelle
-   "�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|
[A-Z]"
+   pg-special-char-regexp
+
+   ;; should be: "[\350-\377]\\|\^A[A-Z]", but literal chars
+   ;; prevent problems with XEmacs 21.5 (beta)
+   "�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|�\\|
[A-Z]"
    pg-after-fontify-output-hook	        'pg-remove-specials
    pg-subterm-help-cmd			"term %s" 
 
-- 
cgit v1.2.3