etc/isar-keywords.el
changeset 19255 e80e3fdda606
parent 19149 1c31769f9796
child 19272 5f376320109a
     1.1 --- a/etc/isar-keywords.el	Tue Mar 14 16:29:29 2006 +0100
     1.2 +++ b/etc/isar-keywords.el	Tue Mar 14 16:29:31 2006 +0100
     1.3 @@ -109,6 +109,7 @@
     1.4      "moreover"
     1.5      "next"
     1.6      "no_syntax"
     1.7 +    "no_translations"
     1.8      "nonterminals"
     1.9      "norm_by_eval"
    1.10      "note"
    1.11 @@ -406,6 +407,7 @@
    1.12      "locale"
    1.13      "method_setup"
    1.14      "no_syntax"
    1.15 +    "no_translations"
    1.16      "nonterminals"
    1.17      "norm_by_eval"
    1.18      "oracle"