From 66dc232c1f38bb8efc3cfb154ca04b890eb049d9 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 26 May 1999 20:18:01 +0000
Subject: added isar-keywords-qed-block;

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

diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el
index 4d5c1694..07cc7cbd 100644
--- a/isar/isar-keywords.el
+++ b/isar/isar-keywords.el
@@ -25,6 +25,7 @@
 
 (defconst isar-keywords-control
   '("break"
+    "cannot_undo"
     "cd"
     "clear_undo"
     "exit"
@@ -123,8 +124,10 @@
 (defconst isar-keywords-qed
   '("\\."
     "\\.\\."
-    "by"
-    "qed"
+    "by"))
+
+(defconst isar-keywords-qed-block
+  '("qed"
     "qed_with"))
 
 (defconst isar-keywords-proof-goal
-- 
cgit v1.2.3