diff options
| author | Makarius Wenzel | 2005-09-14 19:11:48 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2005-09-14 19:11:48 +0000 |
| commit | 394911bf19147112dd86060c902693ce7e1dc48b (patch) | |
| tree | ea5bebd5eea41699ea61d72f8b1c06d923db62c6 /isar | |
| parent | f255d4fecb737a56c9c8c5a59985449ed0e864ca (diff) | |
removed 8bit special chars for isar;
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isar-syntax.el | 10 |
1 files changed, 0 insertions, 10 deletions
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) |