etc/isar-keywords-ZF.el
changeset 57442 2373b4c61111
parent 57415 e721124f1b1e
child 57886 7cae177c9084
     1.1 --- a/etc/isar-keywords-ZF.el	Mon Jun 30 10:10:32 2014 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Mon Jun 30 10:34:28 2014 +0200
     1.3 @@ -35,7 +35,6 @@
     1.4      "by"
     1.5      "cannot_undo"
     1.6      "case"
     1.7 -    "cd"
     1.8      "chapter"
     1.9      "class"
    1.10      "class_deps"
    1.11 @@ -154,7 +153,6 @@
    1.12      "print_translation"
    1.13      "proof"
    1.14      "prop"
    1.15 -    "pwd"
    1.16      "qed"
    1.17      "quit"
    1.18      "realizability"
    1.19 @@ -261,7 +259,6 @@
    1.20      "ProofGeneral\\.restart"
    1.21      "ProofGeneral\\.undo"
    1.22      "cannot_undo"
    1.23 -    "cd"
    1.24      "commit"
    1.25      "disable_pr"
    1.26      "enable_pr"
    1.27 @@ -322,7 +319,6 @@
    1.28      "print_theory"
    1.29      "print_trans_rules"
    1.30      "prop"
    1.31 -    "pwd"
    1.32      "term"
    1.33      "thm"
    1.34      "thm_deps"