changeset 36455 | 30f96b4b108b |
parent 36366 | 5ab0f8859f9f |
child 36521 | 79c1d2bbe5a9 |
1.1 --- a/etc/isar-keywords-ZF.el Wed Apr 28 12:21:55 2010 +0200 1.2 +++ b/etc/isar-keywords-ZF.el Wed Apr 28 12:23:14 2010 +0200 1.3 @@ -57,7 +57,7 @@ 1.4 "declaration" 1.5 "declare" 1.6 "def" 1.7 - "defaultsort" 1.8 + "default_sort" 1.9 "defer" 1.10 "definition" 1.11 "defs" 1.12 @@ -372,7 +372,7 @@ 1.13 "datatype" 1.14 "declaration" 1.15 "declare" 1.16 - "defaultsort" 1.17 + "default_sort" 1.18 "definition" 1.19 "defs" 1.20 "extract"