changeset 27207 | 548e2d3105b9 |
parent 26896 | d6fb318ba24e |
child 27502 | a8561998cea7 |
1.1 --- a/etc/isar-keywords-ZF.el Sat Jun 14 17:26:15 2008 +0200 1.2 +++ b/etc/isar-keywords-ZF.el Sat Jun 14 17:49:24 2008 +0200 1.3 @@ -178,7 +178,6 @@ 1.4 "thm_deps" 1.5 "thus" 1.6 "thy_deps" 1.7 - "token_translation" 1.8 "touch_child_thys" 1.9 "touch_thy" 1.10 "translations" 1.11 @@ -396,7 +395,6 @@ 1.12 "text" 1.13 "text_raw" 1.14 "theorems" 1.15 - "token_translation" 1.16 "translations" 1.17 "typed_print_translation" 1.18 "typedecl"