diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 1999-10-26 17:17:11 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 1999-10-26 17:17:11 +0000 |
| commit | 0501a503f1778949ca7e9085e3c238702dc9bc28 (patch) | |
| tree | 52f6a3ed8dfe2a16011150fa426bd8252a111162 /isar/isar-keywords.el | |
| parent | 7922d0afd98f75728795f48e5763394da3b6f12c (diff) | |
added kill_thy, touch_child_thys;
internal ProofGeneral commands;
Diffstat (limited to 'isar/isar-keywords.el')
| -rw-r--r-- | isar/isar-keywords.el | 8 |
1 files changed, 7 insertions, 1 deletions
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" |