changeset 18775 | becdbf57eeb8 |
parent 18757 | f0d901bc0686 |
child 18888 | 3b643f81b378 |
1.1 --- a/etc/isar-keywords-ZF.el Tue Jan 24 15:16:06 2006 +0100 1.2 +++ b/etc/isar-keywords-ZF.el Wed Jan 25 00:21:32 2006 +0100 1.3 @@ -63,6 +63,7 @@ 1.4 "def" 1.5 "defaultsort" 1.6 "defer" 1.7 + "definition" 1.8 "defs" 1.9 "disable_pr" 1.10 "display_drafts" 1.11 @@ -357,6 +358,7 @@ 1.12 "consts_code" 1.13 "datatype" 1.14 "defaultsort" 1.15 + "definition" 1.16 "defs" 1.17 "extract" 1.18 "extract_type"