diff options
author | Makarius Wenzel <makarius@sketis.net> | 2000-04-03 10:00:46 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2000-04-03 10:00:46 +0000 |
commit | 628329fe2d7389896200d065c568182ab1419973 (patch) | |
tree | 7a54500b10f35d564ac3b0d0a50729179e7849c0 /isar/isar-keywords.el | |
parent | d3db46f18e89fd41418378ff807b7f9b69fa5cb8 (diff) |
added 'ProofGeneral.undo';
fixed 'cd' classification;
Diffstat (limited to 'isar/isar-keywords.el')
-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" |