# HG changeset patch
# User haftmann
# Date 1131977672 -3600
# Node ID cbed396ecb1c583b67725da91d3dbc5009d81af6
# Parent  eb4206c930cd8eae0b5cc3148fef0822f772ccec
new syntax for class_package

diff -r eb4206c930cd -r cbed396ecb1c etc/isar-keywords.el
--- a/etc/isar-keywords.el	Mon Nov 14 14:37:48 2005 +0100
+++ b/etc/isar-keywords.el	Mon Nov 14 15:14:32 2005 +0100
@@ -41,6 +41,7 @@
     "clear_undos"
     "code_library"
     "code_module"
+    "codegen_class"
     "coinductive"
     "commit"
     "constdefs"
@@ -356,6 +357,7 @@
     "classrel"
     "code_library"
     "code_module"
+    "codegen_class"
     "coinductive"
     "constdefs"
     "consts"