changeset 53575 | 7b5a5116f3af |
parent 53574 | c88354589b43 |
child 53576 | 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"