# HG changeset patch
# User haftmann
# Date 1133535869 -3600
# Node ID e883d13326621fa288747444dc2d57ee394d0086
# Parent  eb3a7d3d874b74f560eb7df8a1918ee5594c1bfd
adopted keyword for code generator

diff -r eb3a7d3d874b -r e883d1332662 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Fri Dec 02 13:10:12 2005 +0100
+++ b/etc/isar-keywords-ZF.el	Fri Dec 02 16:04:29 2005 +0100
@@ -37,13 +37,14 @@
     "classrel"
     "clear_undos"
     "codatatype"
+    "code_alias"
+    "code_class"
     "code_generate"
     "code_library"
     "code_module"
     "code_serialize"
     "code_syntax_const"
     "code_syntax_tyco"
-    "codegen_class"
     "coinductive"
     "commit"
     "constdefs"
@@ -56,7 +57,6 @@
     "def"
     "defaultsort"
     "defer"
-    "defined_by"
     "defs"
     "disable_pr"
     "display_drafts"
@@ -199,11 +199,11 @@
     "begin"
     "binder"
     "case_eqns"
-    "code_alias"
     "con_defs"
     "concl"
     "constrains"
     "contains"
+    "defined_by"
     "defines"
     "depending_on"
     "domains"
@@ -332,20 +332,20 @@
     "classes"
     "classrel"
     "codatatype"
+    "code_alias"
+    "code_class"
     "code_generate"
     "code_library"
     "code_module"
     "code_serialize"
     "code_syntax_const"
     "code_syntax_tyco"
-    "codegen_class"
     "coinductive"
     "constdefs"
     "consts"
     "consts_code"
     "datatype"
     "defaultsort"
-    "defined_by"
     "defs"
     "extract"
     "extract_type"
diff -r eb3a7d3d874b -r e883d1332662 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Fri Dec 02 13:10:12 2005 +0100
+++ b/etc/isar-keywords.el	Fri Dec 02 16:04:29 2005 +0100
@@ -39,13 +39,14 @@
     "classes"
     "classrel"
     "clear_undos"
+    "code_alias"
+    "code_class"
     "code_generate"
     "code_library"
     "code_module"
     "code_serialize"
     "code_syntax_const"
     "code_syntax_tyco"
-    "codegen_class"
     "coinductive"
     "commit"
     "constdefs"
@@ -60,7 +61,6 @@
     "defaultsort"
     "defer"
     "defer_recdef"
-    "defined_by"
     "defs"
     "disable_pr"
     "display_drafts"
@@ -213,12 +213,12 @@
     "attach"
     "begin"
     "binder"
-    "code_alias"
     "compose"
     "concl"
     "congs"
     "constrains"
     "contains"
+    "defined_by"
     "defines"
     "depending_on"
     "distinct"
@@ -363,13 +363,14 @@
     "axioms"
     "classes"
     "classrel"
+    "code_alias"
+    "code_class"
     "code_generate"
     "code_library"
     "code_module"
     "code_serialize"
     "code_syntax_const"
     "code_syntax_tyco"
-    "codegen_class"
     "coinductive"
     "constdefs"
     "consts"
@@ -377,7 +378,6 @@
     "datatype"
     "defaultsort"
     "defer_recdef"
-    "defined_by"
     "defs"
     "domain"
     "extract"