From 11e63b3a7392884e0842245bf38d6e33fc0c5d2d Mon Sep 17 00:00:00 2001
From: Makarius Wenzel <makarius@sketis.net>
Date: Thu, 23 Mar 2000 10:42:44 +0000
Subject: added 'moreover';

---
 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 c8b337e0..82f4a9da 100644
--- a/isar/isar-keywords.el
+++ b/isar/isar-keywords.el
@@ -177,6 +177,7 @@
 (defconst isar-keywords-proof-decl
   '("also"
     "let"
+    "moreover"
     "note"
     "sect"
     "subsect"
-- 
cgit v1.2.3