From a054106b5c0d6fed882fc6cfef55468205557277 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 10 Jan 2001 19:27:29 +0000
Subject: proper font-lock of isar-keywords-proof-heading;

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

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index d56c4961..89e78b87 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -72,7 +72,8 @@
           isar-keywords-qed-block))
 
 (defconst isar-keywords-proof
-  (append isar-keywords-proof-goal
+  (append isar-keywords-proof-heading
+	  isar-keywords-proof-goal
           isar-keywords-proof-chain
           isar-keywords-proof-decl
           isar-keywords-qed))
-- 
cgit v1.2.3