diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2000-07-01 18:09:49 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2000-07-01 18:09:49 +0000 |
| commit | cacebfbf622be011245d29fb783687648b27fb50 (patch) | |
| tree | 1f26d50138b524ba0571b71e116d2d195481ab67 /isar/isar-keywords.el | |
| parent | c4c2edc9c832c418347181086ccd942934f58b32 (diff) | |
removed 'help';
added 'print_antiquotations', 'print_commands', 'print_trans_rules';
Diffstat (limited to 'isar/isar-keywords.el')
| -rw-r--r-- | isar/isar-keywords.el | 8 |
1 files changed, 6 insertions, 2 deletions
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" |