From f7fa3cc690cdbcc33312d364836fa5f42f7634fd Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Sat, 23 Dec 2000 21:12:52 +0000
Subject: tuned font lock;

---
 isar/isar-syntax.el | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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)
-- 
cgit v1.2.3