diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-03 08:46:34 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-03 08:46:34 +0000 |
commit | 449567441462f11909b43d49cd836ff5a6493f3d (patch) | |
tree | 2fc7e7b8973d847dfe50beb55784714aed16f0bb /isar/isar-syntax.el | |
parent | 7eef3eac6fc116b4e5bf3d733494b6086cf13091 (diff) |
Fix font-lock output keywords for tvars starting ?'
Diffstat (limited to 'isar/isar-syntax.el')
-rw-r--r-- | isar/isar-syntax.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index 487a1bdc..474bcfbf 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -396,7 +396,7 @@ 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) |