changeset 57886 | 7cae177c9084 |
parent 57442 | 2373b4c61111 |
child 58799 | 944364b48eb9 |
--- a/etc/isar-keywords.el Sun Aug 10 15:59:12 2014 +0200 +++ b/etc/isar-keywords.el Sun Aug 10 16:13:12 2014 +0200 @@ -139,6 +139,7 @@ "locale_deps" "method_setup" "moreover" + "named_theorems" "next" "nitpick" "nitpick_params" @@ -550,6 +551,7 @@ "local_setup" "locale" "method_setup" + "named_theorems" "nitpick_params" "no_adhoc_overloading" "no_notation"