isar-tac-regexp: 'font-lock-reference-face;

1 files changed, 6 insertions, 1 deletions

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