etc/isar-keywords-ZF.el
changeset 40396 c4c6fa6819aa
parent 39283 635e09dea465
child 40784 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"