From fad0a3db2b6d8276055a38a8d2598681bece1bf8 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 4 Jun 1999 20:15:11 +0000
Subject: updated;

---
 isar/isar-keywords.el | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el
index 7de469cf..e54d0209 100644
--- a/isar/isar-keywords.el
+++ b/isar/isar-keywords.el
@@ -143,11 +143,13 @@
     "}}"))
 
 (defconst isar-keywords-proof-chain
-  '("from"
+  '("finally"
+    "from"
     "then"))
 
 (defconst isar-keywords-proof-decl
-  '("assume"
+  '("also"
+    "assume"
     "fix"
     "let"
     "note"))
-- 
cgit v1.2.3