updated keywords;
authorwenzelm
Sat Nov 17 17:42:19 2012 +0100 (2012-11-17)
changeset 50106e12e4ad93183
parent 50105 65d5b18e1626
child 50107 289181e3e524
updated keywords;
etc/isar-keywords.el
     1.1 --- a/etc/isar-keywords.el	Fri Nov 16 19:14:23 2012 +0100
     1.2 +++ b/etc/isar-keywords.el	Sat Nov 17 17:42:19 2012 +0100
     1.3 @@ -48,7 +48,6 @@
     1.4      "classes"
     1.5      "classrel"
     1.6      "codata"
     1.7 -    "codata_raw"
     1.8      "code_abort"
     1.9      "code_class"
    1.10      "code_const"
    1.11 @@ -71,7 +70,6 @@
    1.12      "corollary"
    1.13      "cpodef"
    1.14      "data"
    1.15 -    "data_raw"
    1.16      "datatype"
    1.17      "declaration"
    1.18      "declare"
    1.19 @@ -342,6 +340,7 @@
    1.20      "overloaded"
    1.21      "permissive"
    1.22      "pervasive"
    1.23 +    "rep_compat"
    1.24      "shows"
    1.25      "structure"
    1.26      "unchecked"
    1.27 @@ -482,7 +481,6 @@
    1.28      "classes"
    1.29      "classrel"
    1.30      "codata"
    1.31 -    "codata_raw"
    1.32      "code_abort"
    1.33      "code_class"
    1.34      "code_const"
    1.35 @@ -499,7 +497,6 @@
    1.36      "consts"
    1.37      "context"
    1.38      "data"
    1.39 -    "data_raw"
    1.40      "datatype"
    1.41      "declaration"
    1.42      "declare"