diff options
author | Makarius Wenzel <makarius@sketis.net> | 2009-11-21 19:54:33 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2009-11-21 19:54:33 +0000 |
commit | 95522c91b0773c7726ea4cac75270a9396e654cd (patch) | |
tree | a215b2106e0eabfe35beac822777f80bcf90ecd3 /isar/isar-syntax.el | |
parent | 37de2996da5255159703148363b31d001a301300 (diff) |
tvar font-lock: allow more than one ? (as in inference parameter ??'a);
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 61ddf3e9..958f4558 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -384,7 +384,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) |