1.1 --- a/etc/isar-keywords.el	Tue Sep 04 13:02:25 2012 +0200
     1.2 +++ b/etc/isar-keywords.el	Tue Sep 04 13:02:26 2012 +0200
     1.3 @@ -47,6 +47,7 @@
     1.4      "class_deps"
     1.5      "classes"
     1.6      "classrel"
     1.7 +    "codata"
     1.8      "codata_raw"
     1.9      "code_abort"
    1.10      "code_class"
    1.11 @@ -69,6 +70,7 @@
    1.12      "context"
    1.13      "corollary"
    1.14      "cpodef"
    1.15 +    "data"
    1.16      "data_raw"
    1.17      "datatype"
    1.18      "declaration"
    1.19 @@ -475,6 +477,7 @@
    1.20      "class"
    1.21      "classes"
    1.22      "classrel"
    1.23 +    "codata"
    1.24      "codata_raw"
    1.25      "code_abort"
    1.26      "code_class"
    1.27 @@ -491,6 +494,7 @@
    1.28      "coinductive_set"
    1.29      "consts"
    1.30      "context"
    1.31 +    "data"
    1.32      "data_raw"
    1.33      "datatype"
    1.34      "declaration"