changeset 36521 | 79c1d2bbe5a9 |
parent 36468 | 3e677ca1e564 |
child 37284 | a1b0201584cd |
1.1 --- a/etc/isar-keywords.el Thu Apr 29 16:53:08 2010 +0200 1.2 +++ b/etc/isar-keywords.el Thu Apr 29 16:55:22 2010 +0200 1.3 @@ -273,6 +273,7 @@ 1.4 "values" 1.5 "welcome" 1.6 "with" 1.7 + "write" 1.8 "{" 1.9 "}")) 1.10 1.11 @@ -628,7 +629,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"