changeset 15407 | 9e85d2b04867 |
parent 15141 | a95c2ff210ba |
child 15596 | 8665d08085df |
1.1 --- a/etc/isar-keywords-ZF.el Mon Dec 13 17:44:52 2004 +0100 1.2 +++ b/etc/isar-keywords-ZF.el Mon Dec 13 18:41:49 2004 +0100 1.3 @@ -59,6 +59,7 @@ 1.4 "extract_type" 1.5 "finalconsts" 1.6 "finally" 1.7 + "find_rewrites" 1.8 "fix" 1.9 "from" 1.10 "full_prf" 1.11 @@ -241,6 +242,7 @@ 1.12 "disable_pr" 1.13 "display_drafts" 1.14 "enable_pr" 1.15 + "find_rewrites" 1.16 "full_prf" 1.17 "header" 1.18 "kill_thy"