1.1 --- a/etc/isar-keywords.el Fri Oct 20 10:44:33 2006 +0200
1.2 +++ b/etc/isar-keywords.el Fri Oct 20 10:44:34 2006 +0200
1.3 @@ -44,10 +44,10 @@
1.4 "classrel"
1.5 "clear_undos"
1.6 "code_abstype"
1.7 + "code_axioms"
1.8 "code_class"
1.9 "code_const"
1.10 "code_constname"
1.11 - "code_constsubst"
1.12 "code_gen"
1.13 "code_instance"
1.14 "code_instname"
1.15 @@ -400,10 +400,10 @@
1.16 "classes"
1.17 "classrel"
1.18 "code_abstype"
1.19 + "code_axioms"
1.20 "code_class"
1.21 "code_const"
1.22 "code_constname"
1.23 - "code_constsubst"
1.24 "code_instance"
1.25 "code_instname"
1.26 "code_library"