From 7cc6c531bb6034efe3b4d05f8e170afd7f27a3e2 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Tue, 3 Aug 1999 13:47:07 +0000
Subject: updated;

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

diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el
index 9d011c64..61526572 100644
--- a/isar/isar-keywords.el
+++ b/isar/isar-keywords.el
@@ -102,7 +102,6 @@
     "oracle"
     "parse_ast_translation"
     "parse_translation"
-    "path"
     "primrec"
     "print_ast_translation"
     "print_translation"
@@ -157,6 +156,9 @@
   '("also"
     "let"
     "note"
+    "sect"
+    "subsect"
+    "subsubsect"
     "txt"))
 
 (defconst isar-keywords-proof-asm
-- 
cgit v1.2.3