etc/isar-keywords-ZF.el
changeset 41229 d797baa3d57c
parent 40965 54b6c9e1c157
child 41249 26f12f98f50a
     1.1 --- a/etc/isar-keywords-ZF.el	Fri Dec 17 17:08:56 2010 +0100
     1.2 +++ b/etc/isar-keywords-ZF.el	Fri Dec 17 17:43:54 2010 +0100
     1.3 @@ -103,7 +103,7 @@
     1.4      "no_syntax"
     1.5      "no_translations"
     1.6      "no_type_notation"
     1.7 -    "nonterminals"
     1.8 +    "nonterminal"
     1.9      "notation"
    1.10      "note"
    1.11      "notepad"
    1.12 @@ -381,7 +381,7 @@
    1.13      "no_syntax"
    1.14      "no_translations"
    1.15      "no_type_notation"
    1.16 -    "nonterminals"
    1.17 +    "nonterminal"
    1.18      "notation"
    1.19      "notepad"
    1.20      "oracle"