--- a/etc/isar-keywords-ZF.el Thu Dec 29 15:31:10 2005 +0100
+++ b/etc/isar-keywords-ZF.el Thu Dec 29 15:31:27 2005 +0100
@@ -33,6 +33,7 @@
"case"
"cd"
"chapter"
+ "class_class"
"classes"
"classrel"
"clear_undos"
@@ -42,6 +43,9 @@
"code_generate"
"code_library"
"code_module"
+ "code_primclass"
+ "code_primconst"
+ "code_primtyco"
"code_serialize"
"code_syntax_const"
"code_syntax_tyco"
@@ -204,7 +208,6 @@
"constants"
"constrains"
"contains"
- "defined_by"
"defines"
"depending_on"
"domains"
@@ -329,6 +332,7 @@
"arities"
"axclass"
"axioms"
+ "class_class"
"classes"
"classrel"
"codatatype"
@@ -337,6 +341,9 @@
"code_generate"
"code_library"
"code_module"
+ "code_primclass"
+ "code_primconst"
+ "code_primtyco"
"code_serialize"
"code_syntax_const"
"code_syntax_tyco"
--- a/etc/isar-keywords.el Thu Dec 29 15:31:10 2005 +0100
+++ b/etc/isar-keywords.el Thu Dec 29 15:31:27 2005 +0100
@@ -36,6 +36,7 @@
"case"
"cd"
"chapter"
+ "class_class"
"classes"
"classrel"
"clear_undos"
@@ -44,6 +45,9 @@
"code_generate"
"code_library"
"code_module"
+ "code_primclass"
+ "code_primconst"
+ "code_primtyco"
"code_serialize"
"code_syntax_const"
"code_syntax_tyco"
@@ -219,7 +223,6 @@
"constants"
"constrains"
"contains"
- "defined_by"
"defines"
"depending_on"
"distinct"
@@ -361,6 +364,7 @@
"automaton"
"axclass"
"axioms"
+ "class_class"
"classes"
"classrel"
"code_alias"
@@ -368,6 +372,9 @@
"code_generate"
"code_library"
"code_module"
+ "code_primclass"
+ "code_primconst"
+ "code_primtyco"
"code_serialize"
"code_syntax_const"
"code_syntax_tyco"