From 9bcaaf7cac9380e92d6663402d6c56bfd20fcc5b Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 23 Apr 1999 15:18:08 +0000
Subject: added "thus", "hence"; tuned "next";

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

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index 0b2dec35..6382a7f5 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -169,6 +169,7 @@
   '(
     "qed"
     "proof" 
+    "next"
     "end"
     "by"
     ".."
@@ -181,14 +182,15 @@
 (defcustom isar-keywords-commands
   '(
     "up"
+    "thus"
     "then_refine"
     "then"
     "show"
     "refine"
     "prev"
     "note"
-    "next"
     "let"
+    "hence"
     "have"
     "from"
     "fix"
-- 
cgit v1.2.3