From dae4844f4ee11d850ad6be8eef5dffb802189250 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel <makarius@sketis.net>
Date: Wed, 9 Feb 2000 09:42:08 +0000
Subject: added 'oops';

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

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

diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el
index 5f489cb5..a16aac0b 100644
--- a/isar/isar-keywords.el
+++ b/isar/isar-keywords.el
@@ -151,6 +151,9 @@
 (defconst isar-keywords-qed-block
   '("qed"))
 
+(defconst isar-keywords-qed-global
+  '("oops"))
+
 (defconst isar-keywords-proof-goal
   '("have"
     "hence"
-- 
cgit v1.2.3