1.1 --- a/etc/isar-keywords-ZF.el Mon Aug 14 11:26:10 2006 +0200
1.2 +++ b/etc/isar-keywords-ZF.el Mon Aug 14 13:46:03 2006 +0200
1.3 @@ -40,7 +40,6 @@
1.4 "classrel"
1.5 "clear_undos"
1.6 "codatatype"
1.7 - "code_alias"
1.8 "code_classapp"
1.9 "code_constapp"
1.10 "code_constname"
1.11 @@ -51,6 +50,7 @@
1.12 "code_serialize"
1.13 "code_simtype"
1.14 "code_typapp"
1.15 + "code_typename"
1.16 "coinductive"
1.17 "commit"
1.18 "const_syntax"
1.19 @@ -126,6 +126,7 @@
1.20 "print_binds"
1.21 "print_cases"
1.22 "print_claset"
1.23 + "print_classes"
1.24 "print_commands"
1.25 "print_context"
1.26 "print_drafts"
1.27 @@ -288,6 +289,7 @@
1.28 "print_binds"
1.29 "print_cases"
1.30 "print_claset"
1.31 + "print_classes"
1.32 "print_commands"
1.33 "print_context"
1.34 "print_drafts"
1.35 @@ -350,7 +352,6 @@
1.36 "classes"
1.37 "classrel"
1.38 "codatatype"
1.39 - "code_alias"
1.40 "code_classapp"
1.41 "code_constapp"
1.42 "code_constname"
1.43 @@ -360,6 +361,7 @@
1.44 "code_purge"
1.45 "code_serialize"
1.46 "code_typapp"
1.47 + "code_typename"
1.48 "coinductive"
1.49 "const_syntax"
1.50 "constdefs"