changeset 23992 | bf352c4c499b |
parent 23804 | 5801141870b1 |
child 24111 | 20e74aa5f56b |
1.1 --- a/etc/isar-keywords-ZF.el Wed Jul 25 22:20:53 2007 +0200 1.2 +++ b/etc/isar-keywords-ZF.el Wed Jul 25 22:20:54 2007 +0200 1.3 @@ -202,10 +202,8 @@ 1.4 "undos_proof" 1.5 "unfolding" 1.6 "update_thy" 1.7 - "update_thy_only" 1.8 "use" 1.9 "use_thy" 1.10 - "use_thy_only" 1.11 "using" 1.12 "value" 1.13 "welcome" 1.14 @@ -333,10 +331,8 @@ 1.15 "touch_thy" 1.16 "typ" 1.17 "update_thy" 1.18 - "update_thy_only" 1.19 "use" 1.20 "use_thy" 1.21 - "use_thy_only" 1.22 "value" 1.23 "welcome")) 1.24