--- 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"
--- 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"