etc/isar-keywords-ZF.el
changeset 40960 9e54eb514a46
parent 40784 177e8cea3e09
child 40965 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"