changeset 40396 | c4c6fa6819aa |
parent 40386 | bdce9a9ec0cd |
child 40585 | e14bbfee8804 |
--- a/etc/isar-keywords.el Sat Nov 06 19:36:54 2010 +0100 +++ b/etc/isar-keywords.el Sat Nov 06 19:37:31 2010 +0100 @@ -323,6 +323,8 @@ "ProofGeneral\\.restart" "ProofGeneral\\.undo" "cannot_undo" + "cd" + "commit" "disable_pr" "enable_pr" "exit" @@ -341,11 +343,9 @@ "ML_val" "ProofGeneral\\.pr" "boogie_status" - "cd" "class_deps" "code_deps" "code_thms" - "commit" "display_drafts" "export_code" "find_consts"