From cacebfbf622be011245d29fb783687648b27fb50 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel <makarius@sketis.net>
Date: Sat, 1 Jul 2000 18:09:49 +0000
Subject: removed 'help'; added 'print_antiquotations', 'print_commands',
 'print_trans_rules';

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

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

diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el
index 2abe03f6..50028cfd 100644
--- a/isar/isar-keywords.el
+++ b/isar/isar-keywords.el
@@ -56,7 +56,6 @@
     "global"
     "have"
     "header"
-    "help"
     "hence"
     "hide"
     "inductive"
@@ -85,11 +84,13 @@
     "presume"
     "pretty_setmargin"
     "primrec"
+    "print_antiquotations"
     "print_ast_translation"
     "print_attributes"
     "print_binds"
     "print_cases"
     "print_claset"
+    "print_commands"
     "print_context"
     "print_facts"
     "print_methods"
@@ -97,6 +98,7 @@
     "print_syntax"
     "print_theorems"
     "print_theory"
+    "print_trans_rules"
     "print_translation"
     "proof"
     "prop"
@@ -198,14 +200,15 @@
     "disable_pr"
     "enable_pr"
     "header"
-    "help"
     "kill_thy"
     "pr"
     "pretty_setmargin"
+    "print_antiquotations"
     "print_attributes"
     "print_binds"
     "print_cases"
     "print_claset"
+    "print_commands"
     "print_context"
     "print_facts"
     "print_methods"
@@ -213,6 +216,7 @@
     "print_syntax"
     "print_theorems"
     "print_theory"
+    "print_trans_rules"
     "prop"
     "pwd"
     "remove_thy"
-- 
cgit v1.2.3