From 48d434ad92c8bf0d1fb4bdf39bcca892ec7e4041 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 7 Sep 2007 20:10:53 +0000
Subject: allow more specials: oct 327 .. oct 340;

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

diff --git a/isar/isar.el b/isar/isar.el
index a1a73731..b13c5275 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -223,7 +223,7 @@ See -k option for Isabelle interface script."
 
    ;; should be: "[\350-\377]\\|\^A[A-Z]", but literal chars
    ;; prevent problems with XEmacs 21.5 (beta)
-   "è\\|é\\|ê\\|ë\\|ì\\|í\\|î\\|ï\\|ð\\|ñ\\|ò\\|ó\\|ô\\|õ\\|ö\\|÷\\|ø\\|ù\\|ú\\|û\\|ü\\|ý\\|þ\\|ÿ\\|
[A-Z]"
+   "×\\|Ø\\|Ù\\|Ú\\|Û\\|Ü\\|Ý\\|Þ\\|ß\\|8\\|è\\|é\\|ê\\|ë\\|ì\\|í\\|î\\|ï\\|ð\\|ñ\\|ò\\|ó\\|ô\\|õ\\|ö\\|÷\\|ø\\|ù\\|ú\\|û\\|ü\\|ý\\|þ\\|ÿ\\|
[0-9A-Z]"
    pg-after-fontify-output-hook	        'pg-remove-specials
    pg-subterm-help-cmd			"term %s" 
 
-- 
cgit v1.2.3