diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2007-05-08 11:22:40 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2007-05-08 11:22:40 +0000 |
| commit | 790626349863010913335c4e1a92b5c6e0575523 (patch) | |
| tree | 7baef8ef5c58f2a983f1365427633af117b40b1b /isar/isar.el | |
| parent | 2fd596600aad8e05ee3c5361fb97ae20914731d8 (diff) | |
tuned pg-special-char-regexp;
Diffstat (limited to 'isar/isar.el')
| -rw-r--r-- | isar/isar.el | 11 |
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" |