changeset 57886 | 7cae177c9084 |
parent 57442 | 2373b4c61111 |
--- a/etc/isar-keywords-ZF.el Sun Aug 10 15:59:12 2014 +0200 +++ b/etc/isar-keywords-ZF.el Sun Aug 10 16:13:12 2014 +0200 @@ -97,6 +97,7 @@ "locale_deps" "method_setup" "moreover" + "named_theorems" "next" "no_notation" "no_syntax" @@ -378,6 +379,7 @@ "local_setup" "locale" "method_setup" + "named_theorems" "no_notation" "no_syntax" "no_translations"