changeset 21057 | c45591716692 |
parent 21028 | ed94ba513989 |
child 21203 | 8154a62bb498 |
--- a/etc/isar-keywords.el Fri Oct 20 10:44:33 2006 +0200 +++ b/etc/isar-keywords.el Fri Oct 20 10:44:34 2006 +0200 @@ -44,10 +44,10 @@ "classrel" "clear_undos" "code_abstype" + "code_axioms" "code_class" "code_const" "code_constname" - "code_constsubst" "code_gen" "code_instance" "code_instname" @@ -400,10 +400,10 @@ "classes" "classrel" "code_abstype" + "code_axioms" "code_class" "code_const" "code_constname" - "code_constsubst" "code_instance" "code_instname" "code_library"