1.1 --- a/etc/isar-keywords.el Sat Jun 14 17:26:15 2008 +0200
1.2 +++ b/etc/isar-keywords.el Sat Jun 14 17:49:24 2008 +0200
1.3 @@ -52,7 +52,6 @@
1.4 "code_module"
1.5 "code_modulename"
1.6 "code_monad"
1.7 - "code_props"
1.8 "code_reserved"
1.9 "code_thms"
1.10 "code_type"
1.11 @@ -217,7 +216,6 @@
1.12 "thm_deps"
1.13 "thus"
1.14 "thy_deps"
1.15 - "token_translation"
1.16 "touch_child_thys"
1.17 "touch_thy"
1.18 "translations"
1.19 @@ -420,7 +418,6 @@
1.20 "code_module"
1.21 "code_modulename"
1.22 "code_monad"
1.23 - "code_props"
1.24 "code_reserved"
1.25 "code_type"
1.26 "coinductive"
1.27 @@ -480,7 +477,6 @@
1.28 "text"
1.29 "text_raw"
1.30 "theorems"
1.31 - "token_translation"
1.32 "translations"
1.33 "typed_print_translation"
1.34 "typedecl"