diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-03 08:51:59 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-03 08:51:59 +0000 |
| commit | 2db1e2463eee8c457cd77380e80d77826990cb71 (patch) | |
| tree | 6a85b309f053476a1805394e20e570d293488471 /isar/isar-syntax.el | |
| parent | 449567441462f11909b43d49cd836ff5a6493f3d (diff) | |
output-font-lock-keywords: remove unnecessary brackets
Diffstat (limited to 'isar/isar-syntax.el')
| -rw-r--r-- | isar/isar-syntax.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index 474bcfbf..3cf66850 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -396,13 +396,13 @@ matches contents of quotes for quoted identifiers.") "\^AA" 'isabelle-class-name-face) (isar-output-flk "\^AC" (concat "'" isar-id) "\^AA" 'isabelle-tfree-name-face) - (isar-output-flk "\^AD" (concat "[\\?]?'" isar-idx) + (isar-output-flk "\^AD" (concat "\\??'" isar-idx) "\^AA" 'isabelle-tvar-name-face) (isar-output-flk "\^AE" isar-id "\^AA" 'isabelle-free-name-face) (isar-output-flk "\^AF" isar-id "\^AA" 'isabelle-bound-name-face) - (isar-output-flk "\^AG" (concat "[\\?]?" isar-idx) + (isar-output-flk "\^AG" (concat "\\??" isar-idx) "\^AA" 'isabelle-var-name-face) - (isar-output-flk "\^AH" (concat "[\\?]?" isar-idx) + (isar-output-flk "\^AH" (concat "\\??" isar-idx) "\^AA" 'proof-declaration-name-face) ;; may alternatively hide the spurious ASCII characters which |