changeset 41208 | 9e54eb514a46 |
parent 41034 | 177e8cea3e09 |
child 41213 | 54b6c9e1c157 |
1.1 --- a/etc/isar-keywords-ZF.el Sat Dec 04 18:41:12 2010 +0100 1.2 +++ b/etc/isar-keywords-ZF.el Sat Dec 04 21:26:55 2010 +0100 1.3 @@ -107,6 +107,7 @@ 1.4 "nonterminals" 1.5 "notation" 1.6 "note" 1.7 + "notepad" 1.8 "obtain" 1.9 "oops" 1.10 "oracle" 1.11 @@ -383,6 +384,7 @@ 1.12 "no_type_notation" 1.13 "nonterminals" 1.14 "notation" 1.15 + "notepad" 1.16 "oracle" 1.17 "overloading" 1.18 "parse_ast_translation"