1 files 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"