etc/isar-keywords-ZF.el
changeset 51270 17d30843fc3b
parent 49571 7e6fc0254d23
child 51293 05b1bbae748d
     1.1 --- a/etc/isar-keywords-ZF.el	Mon Feb 25 10:50:52 2013 +0100
     1.2 +++ b/etc/isar-keywords-ZF.el	Mon Feb 25 11:07:02 2013 +0100
     1.3 @@ -270,6 +270,7 @@
     1.4      "kill"
     1.5      "kill_thy"
     1.6      "linear_undo"
     1.7 +    "pretty_setmargin"
     1.8      "quit"
     1.9      "remove_thy"
    1.10      "undo"
    1.11 @@ -289,7 +290,6 @@
    1.12      "help"
    1.13      "locale_deps"
    1.14      "pr"
    1.15 -    "pretty_setmargin"
    1.16      "prf"
    1.17      "print_abbrevs"
    1.18      "print_antiquotations"