From 0501a503f1778949ca7e9085e3c238702dc9bc28 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel <makarius@sketis.net>
Date: Tue, 26 Oct 1999 17:17:11 +0000
Subject: added kill_thy, touch_child_thys; internal ProofGeneral commands;

---
 isar/isar-keywords.el | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'isar/isar-keywords.el')

diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el
index 5263cb3f..3c4c967a 100644
--- a/isar/isar-keywords.el
+++ b/isar/isar-keywords.el
@@ -26,7 +26,11 @@
     "simpset"))
 
 (defconst isar-keywords-control
-  '("cannot_undo"
+  '("ProofGeneral\\.inform_file_processed"
+    "ProofGeneral\\.inform_file_retracted"
+    "ProofGeneral\\.kill_proof"
+    "ProofGeneral\\.restart"
+    "cannot_undo"
     "cd"
     "clear_undos"
     "exit"
@@ -47,6 +51,7 @@
     "enable_pr"
     "header"
     "help"
+    "kill_thy"
     "pr"
     "pretty_setmargin"
     "print_attributes"
@@ -64,6 +69,7 @@
     "thm"
     "thms_containing"
     "touch_all_thys"
+    "touch_child_thys"
     "touch_thy"
     "typ"
     "update_thy"
-- 
cgit v1.2.3