changeset 36521 | 79c1d2bbe5a9 |
parent 36455 | 30f96b4b108b |
child 38272 | d104dedacd9e |
1.1 --- a/etc/isar-keywords-ZF.el Thu Apr 29 16:53:08 2010 +0200 1.2 +++ b/etc/isar-keywords-ZF.el Thu Apr 29 16:55:22 2010 +0200 1.3 @@ -210,6 +210,7 @@ 1.4 "using" 1.5 "welcome" 1.6 "with" 1.7 + "write" 1.8 "{" 1.9 "}")) 1.10 1.11 @@ -486,7 +487,8 @@ 1.12 "txt" 1.13 "txt_raw" 1.14 "unfolding" 1.15 - "using")) 1.16 + "using" 1.17 + "write")) 1.18 1.19 (defconst isar-keywords-proof-asm 1.20 '("assume"