# HG changeset patch
# User wenzelm
# Date 1353170539 -3600
# Node ID e12e4ad9318380290129835dc08d7a3b071bbf30
# Parent  65d5b18e162654aba09f135c54daee1cd41b7d43
updated keywords;

diff -r 65d5b18e1626 -r e12e4ad93183 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Fri Nov 16 19:14:23 2012 +0100
+++ b/etc/isar-keywords.el	Sat Nov 17 17:42:19 2012 +0100
@@ -48,7 +48,6 @@
     "classes"
     "classrel"
     "codata"
-    "codata_raw"
     "code_abort"
     "code_class"
     "code_const"
@@ -71,7 +70,6 @@
     "corollary"
     "cpodef"
     "data"
-    "data_raw"
     "datatype"
     "declaration"
     "declare"
@@ -342,6 +340,7 @@
     "overloaded"
     "permissive"
     "pervasive"
+    "rep_compat"
     "shows"
     "structure"
     "unchecked"
@@ -482,7 +481,6 @@
     "classes"
     "classrel"
     "codata"
-    "codata_raw"
     "code_abort"
     "code_class"
     "code_const"
@@ -499,7 +497,6 @@
     "consts"
     "context"
     "data"
-    "data_raw"
     "datatype"
     "declaration"
     "declare"