updated keywords;
authorwenzelm
Wed Sep 26 14:50:46 2012 +0200 (2012-09-26)
changeset 495717e6fc0254d23
parent 49570 2265456f6131
child 49572 0d2f81eb7bf4
updated keywords;
etc/isar-keywords-ZF.el
etc/isar-keywords.el
     1.1 --- a/etc/isar-keywords-ZF.el	Wed Sep 26 14:38:23 2012 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Wed Sep 26 14:50:46 2012 +0200
     1.3 @@ -96,6 +96,7 @@
     1.4      "linear_undo"
     1.5      "local_setup"
     1.6      "locale"
     1.7 +    "locale_deps"
     1.8      "method_setup"
     1.9      "moreover"
    1.10      "next"
    1.11 @@ -286,6 +287,7 @@
    1.12      "full_prf"
    1.13      "header"
    1.14      "help"
    1.15 +    "locale_deps"
    1.16      "pr"
    1.17      "pretty_setmargin"
    1.18      "prf"
     2.1 --- a/etc/isar-keywords.el	Wed Sep 26 14:38:23 2012 +0200
     2.2 +++ b/etc/isar-keywords.el	Wed Sep 26 14:50:46 2012 +0200
     2.3 @@ -139,6 +139,7 @@
     2.4      "linear_undo"
     2.5      "local_setup"
     2.6      "locale"
     2.7 +    "locale_deps"
     2.8      "method_setup"
     2.9      "moreover"
    2.10      "next"
    2.11 @@ -388,6 +389,7 @@
    2.12      "full_prf"
    2.13      "header"
    2.14      "help"
    2.15 +    "locale_deps"
    2.16      "nitpick"
    2.17      "pr"
    2.18      "pretty_setmargin"