From d33aa4753f3447f70ee725b7576e0dc12678209b Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 28 Jan 2000 20:24:09 +0000
Subject: added prefer, defer;

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

diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el
index c00b99f2..5f489cb5 100644
--- a/isar/isar-keywords.el
+++ b/isar/isar-keywords.el
@@ -192,6 +192,8 @@
 (defconst isar-keywords-proof-script
   '("apply"
     "back"
+    "defer"
+    "prefer"
     "then_apply"))
 
 (provide 'isar-keywords)
-- 
cgit v1.2.3