etc/isar-keywords-ZF.el
changeset 52438 7b5a5116f3af
parent 52437 c88354589b43
child 52439 4cf3f6153eb8
     1.1 --- a/etc/isar-keywords-ZF.el	Mon Jun 24 17:03:53 2013 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Mon Jun 24 17:17:17 2013 +0200
     1.3 @@ -269,7 +269,6 @@
     1.4      "kill"
     1.5      "kill_thy"
     1.6      "linear_undo"
     1.7 -    "pr"
     1.8      "pretty_setmargin"
     1.9      "quit"
    1.10      "remove_thy"
    1.11 @@ -288,6 +287,7 @@
    1.12      "header"
    1.13      "help"
    1.14      "locale_deps"
    1.15 +    "pr"
    1.16      "prf"
    1.17      "print_abbrevs"
    1.18      "print_antiquotations"