# HG changeset patch
# User wenzelm
# Date 1348825617 -7200
# Node ID 47431a27fefec943ab9450393c113982e3ab11d5
# Parent  204bd497aa4c9680339e765622b910c5dd479cd5
updated keywords using proper "isabelle update_keywords";

diff -r 204bd497aa4c -r 47431a27fefe etc/isar-keywords.el
--- a/etc/isar-keywords.el	Fri Sep 28 11:31:51 2012 +0200
+++ b/etc/isar-keywords.el	Fri Sep 28 11:46:57 2012 +0200
@@ -48,6 +48,7 @@
     "classes"
     "classrel"
     "codata"
+    "codata_raw"
     "code_abort"
     "code_class"
     "code_const"
@@ -70,6 +71,7 @@
     "corollary"
     "cpodef"
     "data"
+    "data_raw"
     "datatype"
     "declaration"
     "declare"
@@ -340,7 +342,6 @@
     "overloaded"
     "permissive"
     "pervasive"
-    "rep_compat"
     "shows"
     "structure"
     "unchecked"
@@ -481,6 +482,7 @@
     "classes"
     "classrel"
     "codata"
+    "codata_raw"
     "code_abort"
     "code_class"
     "code_const"
@@ -497,6 +499,7 @@
     "consts"
     "context"
     "data"
+    "data_raw"
     "datatype"
     "declaration"
     "declare"