diff options
| author | Makarius Wenzel | 2000-12-23 21:12:52 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-12-23 21:12:52 +0000 |
| commit | f7fa3cc690cdbcc33312d364836fa5f42f7634fd (patch) | |
| tree | 85c8ba66412676125c9e94ab7ca46803b2756359 | |
| parent | 90c34105f7cd85f65c4de16b1d7b6e03c2aac8b4 (diff) | |
tuned font lock;
| -rw-r--r-- | isar/isar-syntax.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index 3061f94a..b02434df 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -126,6 +126,8 @@ (lambda (s) (if (string-match "^\\W$" s) s (concat "\\<" s "\\>"))) l "\\|")) +(defconst isar-long-id-stuff "\\([A-Za-z0-9'_.]+\\)") + (defconst isar-id "\\([A-Za-z][A-Za-z0-9'_]*\\)") (defconst isar-idx (concat isar-id "\\(\\.[0-9]+\\)?")) @@ -269,7 +271,7 @@ (defvar isar-output-font-lock-keywords-1 (list - (cons (concat "\351" isar-id "\350") 'isabelle-class-name-face) + (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 "\354" isar-id "\350") 'isabelle-free-name-face) |