From 16ba12ace8b27396fb9bf582503d6a277d45c361 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 14 Dec 2007 13:15:01 +0000
Subject: Typo in pg-special-char-regexp

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

diff --git a/isar/isar.el b/isar/isar.el
index f154c711..401c628c 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -216,7 +216,7 @@ See -k option for Isabelle interface script."
    pg-special-char-regexp
    (if proof-shell-unicode "
[0-9A-Z]"
      ;; next string could be: "[\350-\377]", but that's buggy with XEmacs 21.5 (beta)
-     "×\\|Ø\\|Ù\\|Ú\\|Û\\|Ü\\|Ý\\|Þ\\|ß\\|8\\|è\\|é\\|ê\\|ë\\|ì\\|í\\|î\\|ï\\|ð\\|ñ\\|ò\\|ó\\|ô\\|õ\\|ö\\|÷\\|ø\\|ù\\|ú\\|û\\|ü\\|ý\\|þ\\|ÿ\\|")
+     "×\\|Ø\\|Ù\\|Ú\\|Û\\|Ü\\|Ý\\|Þ\\|ß\\|8\\|è\\|é\\|ê\\|ë\\|ì\\|í\\|î\\|ï\\|ð\\|ñ\\|ò\\|ó\\|ô\\|õ\\|ö\\|÷\\|ø\\|ù\\|ú\\|û\\|ü\\|ý\\|þ\\|ÿ")
 
    pg-subterm-help-cmd			"term %s" 
 
-- 
cgit v1.2.3