etc/isar-keywords-ZF.el
changeset 36455 30f96b4b108b
parent 36356 5ab0f8859f9f
child 36505 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"