changeset 40675 | c4c6fa6819aa |
parent 39529 | 635e09dea465 |
child 41034 | 177e8cea3e09 |
1.1 --- a/etc/isar-keywords-ZF.el Sat Nov 06 19:36:54 2010 +0100 1.2 +++ b/etc/isar-keywords-ZF.el Sat Nov 06 19:37:31 2010 +0100 1.3 @@ -258,6 +258,8 @@ 1.4 "ProofGeneral\\.restart" 1.5 "ProofGeneral\\.undo" 1.6 "cannot_undo" 1.7 + "cd" 1.8 + "commit" 1.9 "disable_pr" 1.10 "enable_pr" 1.11 "exit" 1.12 @@ -275,9 +277,7 @@ 1.13 '("ML_command" 1.14 "ML_val" 1.15 "ProofGeneral\\.pr" 1.16 - "cd" 1.17 "class_deps" 1.18 - "commit" 1.19 "display_drafts" 1.20 "find_consts" 1.21 "find_theorems"