From 0b1cd03d4ee9449a174ba626a4e95d4c37c28346 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Mon, 14 Feb 2000 12:31:24 +0000
Subject: removed then_apply; added apply_end;

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

diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el
index 957ba0e8..caa7cfab 100644
--- a/isar/isar-keywords.el
+++ b/isar/isar-keywords.el
@@ -195,9 +195,9 @@
 
 (defconst isar-keywords-proof-script
   '("apply"
+    "apply_end"
     "back"
     "defer"
-    "prefer"
-    "then_apply"))
+    "prefer"))
 
 (provide 'isar-keywords)
-- 
cgit v1.2.3