From 4c4d187ab372d7433a7a80eb9aa521f9bb9db4e0 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 23 Mar 2000 20:19:14 +0000
Subject: removed 'kill_proof'; added 'variables';

---
 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 82f4a9da..9797e95e 100644
--- a/isar/isar-keywords.el
+++ b/isar/isar-keywords.el
@@ -39,7 +39,6 @@
     "exit"
     "init_toplevel"
     "kill"
-    "kill_proof"
     "quit"
     "redo"
     "undo"
@@ -136,7 +135,8 @@
     "translations"
     "typed_print_translation"
     "typedecl"
-    "types"))
+    "types"
+    "variables"))
 
 (defconst isar-keywords-theory-goal
   '("instance"
-- 
cgit v1.2.3