1.1 --- a/etc/isar-keywords-ZF.el Sun May 22 16:54:09 2005 +0200
1.2 +++ b/etc/isar-keywords-ZF.el Sun May 22 18:59:05 2005 +0200
1.3 @@ -60,7 +60,6 @@
1.4 "extract_type"
1.5 "finalconsts"
1.6 "finally"
1.7 - "find_rewrites"
1.8 "fix"
1.9 "from"
1.10 "full_prf"
1.11 @@ -114,7 +113,6 @@
1.12 "print_facts"
1.13 "print_induct_rules"
1.14 "print_interps"
1.15 - "print_intros"
1.16 "print_locale"
1.17 "print_locales"
1.18 "print_methods"
1.19 @@ -248,7 +246,6 @@
1.20 "disable_pr"
1.21 "display_drafts"
1.22 "enable_pr"
1.23 - "find_rewrites"
1.24 "full_prf"
1.25 "header"
1.26 "kill_thy"
1.27 @@ -266,7 +263,6 @@
1.28 "print_facts"
1.29 "print_induct_rules"
1.30 "print_interps"
1.31 - "print_intros"
1.32 "print_locale"
1.33 "print_locales"
1.34 "print_methods"
2.1 --- a/etc/isar-keywords.el Sun May 22 16:54:09 2005 +0200
2.2 +++ b/etc/isar-keywords.el Sun May 22 18:59:05 2005 +0200
2.3 @@ -63,7 +63,6 @@
2.4 "extract_type"
2.5 "finalconsts"
2.6 "finally"
2.7 - "find_rewrites"
2.8 "fix"
2.9 "from"
2.10 "full_prf"
2.11 @@ -117,7 +116,6 @@
2.12 "print_facts"
2.13 "print_induct_rules"
2.14 "print_interps"
2.15 - "print_intros"
2.16 "print_locale"
2.17 "print_locales"
2.18 "print_methods"
2.19 @@ -273,7 +271,6 @@
2.20 "disable_pr"
2.21 "display_drafts"
2.22 "enable_pr"
2.23 - "find_rewrites"
2.24 "full_prf"
2.25 "header"
2.26 "kill_thy"
2.27 @@ -291,7 +288,6 @@
2.28 "print_facts"
2.29 "print_induct_rules"
2.30 "print_interps"
2.31 - "print_intros"
2.32 "print_locale"
2.33 "print_locales"
2.34 "print_methods"