From c5ceb46ec57e377afbab9b9d8cf1e04585070622 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel <makarius@sketis.net>
Date: Wed, 24 May 2000 15:36:31 +0000
Subject: added "done";

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

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

diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el
index 1759f9cf..dbb678e5 100644
--- a/isar/isar-keywords.el
+++ b/isar/isar-keywords.el
@@ -149,6 +149,7 @@
   '("\\."
     "\\.\\."
     "by"
+    "done"
     "sorry"))
 
 (defconst isar-keywords-qed-block
-- 
cgit v1.2.3