From 291d836baa7d0a6f7dced4f0b9d0144c7a0aa181 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel <makarius@sketis.net>
Date: Mon, 7 Aug 2000 23:21:05 +0000
Subject: new category isar-keywords-proof-heading;

---
 isar/isar-keywords.el | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'isar/isar-keywords.el')

diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el
index 9363b7b0..14839e30 100644
--- a/isar/isar-keywords.el
+++ b/isar/isar-keywords.el
@@ -314,6 +314,11 @@
 (defconst isar-keywords-qed-global
   '("oops"))
 
+(defconst isar-keywords-proof-heading
+  '("sect"
+    "subsect"
+    "subsubsect"))
+
 (defconst isar-keywords-proof-goal
   '("have"
     "hence"
@@ -342,9 +347,6 @@
     "let"
     "moreover"
     "note"
-    "sect"
-    "subsect"
-    "subsubsect"
     "txt"
     "txt_raw"))
 
-- 
cgit v1.2.3