From 10c692a980feb251af9a671090cd44736df47574 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 2 Jul 1999 17:13:28 +0000
Subject: added "sorry" proof;

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

diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el
index cacca06d..803b2388 100644
--- a/isar/isar-keywords.el
+++ b/isar/isar-keywords.el
@@ -124,7 +124,8 @@
 (defconst isar-keywords-qed
   '("\\."
     "\\.\\."
-    "by"))
+    "by"
+    "sorry"))
 
 (defconst isar-keywords-qed-block
   '("qed"
-- 
cgit v1.2.3