etc/isar-keywords-ZF.el
changeset 38708 8915e3ce8655
parent 38467 1b77e225fffc
child 38837 b47ee8df7ab4
     1.1 --- a/etc/isar-keywords-ZF.el	Wed Aug 25 11:30:45 2010 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Wed Aug 25 14:18:09 2010 +0200
     1.3 @@ -73,7 +73,6 @@
     1.4      "fix"
     1.5      "from"
     1.6      "full_prf"
     1.7 -    "global"
     1.8      "guess"
     1.9      "have"
    1.10      "header"
    1.11 @@ -97,7 +96,6 @@
    1.12      "lemmas"
    1.13      "let"
    1.14      "linear_undo"
    1.15 -    "local"
    1.16      "local_setup"
    1.17      "locale"
    1.18      "method_setup"
    1.19 @@ -369,7 +367,6 @@
    1.20      "extract"
    1.21      "extract_type"
    1.22      "finalconsts"
    1.23 -    "global"
    1.24      "hide_class"
    1.25      "hide_const"
    1.26      "hide_fact"
    1.27 @@ -378,7 +375,6 @@
    1.28      "instantiation"
    1.29      "judgment"
    1.30      "lemmas"
    1.31 -    "local"
    1.32      "local_setup"
    1.33      "locale"
    1.34      "method_setup"