1.1 --- a/etc/isar-keywords.el Mon Feb 17 13:31:42 2014 +0100
1.2 +++ b/etc/isar-keywords.el Mon Feb 17 13:31:42 2014 +0100
1.3 @@ -62,8 +62,8 @@
1.4 "corollary"
1.5 "cpodef"
1.6 "datatype"
1.7 + "datatype_compat"
1.8 "datatype_new"
1.9 - "datatype_new_compat"
1.10 "declaration"
1.11 "declare"
1.12 "def"
1.13 @@ -154,6 +154,7 @@
1.14 "note"
1.15 "notepad"
1.16 "obtain"
1.17 + "old_primrec"
1.18 "oops"
1.19 "oracle"
1.20 "overloading"
1.21 @@ -169,7 +170,6 @@
1.22 "primcorec"
1.23 "primcorecursive"
1.24 "primrec"
1.25 - "primrec_new"
1.26 "print_abbrevs"
1.27 "print_antiquotations"
1.28 "print_ast_translation"
1.29 @@ -500,8 +500,8 @@
1.30 "consts"
1.31 "context"
1.32 "datatype"
1.33 + "datatype_compat"
1.34 "datatype_new"
1.35 - "datatype_new_compat"
1.36 "declaration"
1.37 "declare"
1.38 "default_sort"
1.39 @@ -546,6 +546,7 @@
1.40 "nonterminal"
1.41 "notation"
1.42 "notepad"
1.43 + "old_primrec"
1.44 "oracle"
1.45 "overloading"
1.46 "parse_ast_translation"
1.47 @@ -553,7 +554,6 @@
1.48 "partial_function"
1.49 "primcorec"
1.50 "primrec"
1.51 - "primrec_new"
1.52 "print_ast_translation"
1.53 "print_translation"
1.54 "quickcheck_generator"