From 46736a33a4e4844a60cb99a6b90ce1b69ced4a9b Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Mon, 14 Feb 2000 12:37:39 +0000
Subject: isar-tac-regexp: 'font-lock-reference-face;

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

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index 270ef0ec..f01e0e4d 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -150,6 +150,10 @@
   (concat "\\s-*\\(" isar-string "\\|" isar-id "\\)\\s-*")
   "Regexp matching Isabelle/Isar names, with contents grouped.")
 
+(defconst isar-tac-regexp
+  "\\<[A-Za-z][A-Za-z0-9'_]*_tac\\>"
+  "Regexp matching old-style tactic names")
+
 (defconst isar-save-command-regexp
   (proof-anchor-regexp (proof-ids-to-regexp isar-keywords-save)))
 
@@ -256,7 +260,8 @@
    (cons (proof-ids-to-regexp isar-keywords-proof-enclose)  'font-lock-preprocessor-face)
    (cons (proof-ids-to-regexp isar-keywords-proof)          'font-lock-keyword-face)
    (cons (proof-ids-to-regexp isar-keywords-proof-context)  'proof-declaration-name-face)
-   (cons (proof-ids-to-regexp isar-keywords-proof-improper) 'font-lock-reference-face)))
+   (cons (proof-ids-to-regexp isar-keywords-proof-improper) 'font-lock-reference-face)
+   (cons isar-tac-regexp 'font-lock-reference-face)))
 
 (defvar isar-output-font-lock-keywords-1
   (list
-- 
cgit v1.2.3