1.1 --- a/etc/isar-keywords.el Sat Apr 19 12:04:17 2008 +0200
1.2 +++ b/etc/isar-keywords.el Sat Apr 19 12:31:07 2008 +0200
1.3 @@ -148,7 +148,6 @@
1.4 "print_abbrevs"
1.5 "print_antiquotations"
1.6 "print_ast_translation"
1.7 - "print_atp_rules"
1.8 "print_attributes"
1.9 "print_binds"
1.10 "print_cases"
1.11 @@ -165,7 +164,6 @@
1.12 "print_locale"
1.13 "print_locales"
1.14 "print_methods"
1.15 - "print_noatp_rules"
1.16 "print_orders"
1.17 "print_rules"
1.18 "print_simpset"
1.19 @@ -347,7 +345,6 @@
1.20 "prf"
1.21 "print_abbrevs"
1.22 "print_antiquotations"
1.23 - "print_atp_rules"
1.24 "print_attributes"
1.25 "print_binds"
1.26 "print_cases"
1.27 @@ -364,7 +361,6 @@
1.28 "print_locale"
1.29 "print_locales"
1.30 "print_methods"
1.31 - "print_noatp_rules"
1.32 "print_orders"
1.33 "print_rules"
1.34 "print_simpset"