--- a/etc/isar-keywords.el Mon Aug 14 11:26:10 2006 +0200
+++ b/etc/isar-keywords.el Mon Aug 14 13:46:03 2006 +0200
@@ -42,7 +42,6 @@
"classes"
"classrel"
"clear_undos"
- "code_alias"
"code_classapp"
"code_constapp"
"code_constname"
@@ -53,6 +52,7 @@
"code_serialize"
"code_simtype"
"code_typapp"
+ "code_typename"
"coinductive"
"commit"
"const_syntax"
@@ -135,6 +135,7 @@
"print_binds"
"print_cases"
"print_claset"
+ "print_classes"
"print_commands"
"print_context"
"print_drafts"
@@ -323,6 +324,7 @@
"print_binds"
"print_cases"
"print_claset"
+ "print_classes"
"print_commands"
"print_context"
"print_drafts"
@@ -385,7 +387,6 @@
"class"
"classes"
"classrel"
- "code_alias"
"code_classapp"
"code_constapp"
"code_constname"
@@ -395,6 +396,7 @@
"code_purge"
"code_serialize"
"code_typapp"
+ "code_typename"
"coinductive"
"const_syntax"
"constdefs"