updated keywords;
authorwenzelm
Sat Nov 06 19:37:31 2010 +0100 (2010-11-06)
changeset 40396c4c6fa6819aa
parent 40395 4985aaade799
child 40397 4ad71312a192
updated keywords;
etc/isar-keywords-ZF.el
etc/isar-keywords.el
     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"
     2.1 --- a/etc/isar-keywords.el	Sat Nov 06 19:36:54 2010 +0100
     2.2 +++ b/etc/isar-keywords.el	Sat Nov 06 19:37:31 2010 +0100
     2.3 @@ -323,6 +323,8 @@
     2.4      "ProofGeneral\\.restart"
     2.5      "ProofGeneral\\.undo"
     2.6      "cannot_undo"
     2.7 +    "cd"
     2.8 +    "commit"
     2.9      "disable_pr"
    2.10      "enable_pr"
    2.11      "exit"
    2.12 @@ -341,11 +343,9 @@
    2.13      "ML_val"
    2.14      "ProofGeneral\\.pr"
    2.15      "boogie_status"
    2.16 -    "cd"
    2.17      "class_deps"
    2.18      "code_deps"
    2.19      "code_thms"
    2.20 -    "commit"
    2.21      "display_drafts"
    2.22      "export_code"
    2.23      "find_consts"