diff options
Diffstat (limited to 'isar')
-rw-r--r-- | isar/isar-keywords.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el index 8f9688ed..84afff87 100644 --- a/isar/isar-keywords.el +++ b/isar/isar-keywords.el @@ -33,8 +33,8 @@ "ProofGeneral\\.kill_proof" "ProofGeneral\\.restart" "ProofGeneral\\.try_context_thy_only" + "ProofGeneral\\.undo" "cannot_undo" - "cd" "clear_undos" "exit" "init_toplevel" @@ -48,6 +48,7 @@ (defconst isar-keywords-diag '("ML" "ML_command" + "cd" "commit" "disable_pr" "enable_pr" |