From 394911bf19147112dd86060c902693ce7e1dc48b Mon Sep 17 00:00:00 2001 From: Makarius Wenzel Date: Wed, 14 Sep 2005 19:11:48 +0000 Subject: removed 8bit special chars for isar; --- isa/x-symbol-isabelle.el | 4 +++- isar/isar-syntax.el | 10 ---------- 2 files changed, 3 insertions(+), 11 deletions(-) diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el index eb6facb7..a5fe0126 100644 --- a/isa/x-symbol-isabelle.el +++ b/isa/x-symbol-isabelle.el @@ -113,7 +113,9 @@ or subscript tag." ;; the [\350-\357].\350\\|\^A[A-H].\^AA part is there to enable single ;; char sub/super scripts with coloured Isabelle output. (defcustom x-symbol-isabelle-single-char-regexp - "[\350-\357].\350\\|\^A[A-H].\^AA\\|[^\\]\\|\\\\\\\\?<[A-Za-z0-9_']+>" + (if (eq proof-assistant-symbol 'isar) + "\^A[A-H].\^AA\\|[^\\]\\|\\\\<[A-Za-z0-9_']+>" + "[\350-\357].\350\\|\^A[A-H].\^AA\\|[^\\]\\|\\\\\\\\?<[A-Za-z0-9_']+>") "Return regexp matching \ or c for some char c." :group 'x-symbol-isabelle :type 'regexp) diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index f9f7bd1b..0f0379ec 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -358,16 +358,6 @@ matches contents of quotes for quoted identifiers.") (defvar isar-output-font-lock-keywords-1 (list - (cons (concat "\351" isar-long-id-stuff "\350") 'isabelle-class-name-face) - (cons (concat "\352'" isar-id "\350") 'isabelle-tfree-name-face) - (cons (concat "\353'" isar-idx "\350") 'isabelle-tvar-name-face) - (cons (concat "\353\\?'" isar-idx "\350") 'isabelle-tvar-name-face) - (cons (concat "\354" isar-id "\350") 'isabelle-free-name-face) - (cons (concat "\355" isar-id "\350") 'isabelle-bound-name-face) - (cons (concat "\356" isar-idx "\350") 'isabelle-var-name-face) - (cons (concat "\356\\?" isar-idx "\350") 'isabelle-var-name-face) - (cons (concat "\357" isar-id "\350") 'proof-declaration-name-face) - (cons (concat "\357\\?" isar-idx "\350") 'proof-declaration-name-face) (cons (concat "\^AB" isar-long-id-stuff "\^AA") 'isabelle-class-name-face) (cons (concat "\^AC'" isar-id "\^AA") 'isabelle-tfree-name-face) (cons (concat "\^AD'" isar-idx "\^AA") 'isabelle-tvar-name-face) -- cgit v1.2.3