changeset 20832 | c3828205f22d |
parent 20697 | 12952535fc2c |
child 20931 | 19d9b78218fd |
1.1 --- a/etc/isar-keywords.el Mon Oct 02 23:00:45 2006 +0200 1.2 +++ b/etc/isar-keywords.el Mon Oct 02 23:00:46 2006 +0200 1.3 @@ -321,6 +321,7 @@ 1.4 "full_prf" 1.5 "header" 1.6 "kill_thy" 1.7 + "normal_form" 1.8 "pr" 1.9 "pretty_setmargin" 1.10 "prf" 1.11 @@ -430,7 +431,6 @@ 1.12 "no_syntax" 1.13 "no_translations" 1.14 "nonterminals" 1.15 - "normal_form" 1.16 "oracle" 1.17 "parse_ast_translation" 1.18 "parse_translation"