changeset 20832 | c3828205f22d |
parent 20697 | 12952535fc2c |
child 20931 | 19d9b78218fd |
--- a/etc/isar-keywords-ZF.el Mon Oct 02 23:00:45 2006 +0200 +++ b/etc/isar-keywords-ZF.el Mon Oct 02 23:00:46 2006 +0200 @@ -285,6 +285,7 @@ "full_prf" "header" "kill_thy" + "normal_form" "pr" "pretty_setmargin" "prf" @@ -389,7 +390,6 @@ "no_syntax" "no_translations" "nonterminals" - "normal_form" "oracle" "parse_ast_translation" "parse_translation"