# HG changeset patch
# User wenzelm
# Date 1142350171 -3600
# Node ID e80e3fdda60665a99c2c5179567c01f319aed5e4
# Parent  efaf5d47049ebf8d85d352c085a326cf36d5ce4e
updated;

diff -r efaf5d47049e -r e80e3fdda606 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Tue Mar 14 16:29:29 2006 +0100
+++ b/etc/isar-keywords-ZF.el	Tue Mar 14 16:29:31 2006 +0100
@@ -102,6 +102,7 @@
     "moreover"
     "next"
     "no_syntax"
+    "no_translations"
     "nonterminals"
     "norm_by_eval"
     "note"
@@ -371,6 +372,7 @@
     "locale"
     "method_setup"
     "no_syntax"
+    "no_translations"
     "nonterminals"
     "norm_by_eval"
     "oracle"
diff -r efaf5d47049e -r e80e3fdda606 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Tue Mar 14 16:29:29 2006 +0100
+++ b/etc/isar-keywords.el	Tue Mar 14 16:29:31 2006 +0100
@@ -109,6 +109,7 @@
     "moreover"
     "next"
     "no_syntax"
+    "no_translations"
     "nonterminals"
     "norm_by_eval"
     "note"
@@ -406,6 +407,7 @@
     "locale"
     "method_setup"
     "no_syntax"
+    "no_translations"
     "nonterminals"
     "norm_by_eval"
     "oracle"