diff options
| -rw-r--r-- | isar/isar.el | 2 |
1 files changed, 1 insertions, 1 deletions
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" |