| changeset 705 | f51c6069cd17 |
| parent 663 | 0dd10a900cae |
| 704:0fd4abb5fade | 705:f51c6069cd17 |
|---|---|
255 "}")) |
255 "}")) |
256 |
256 |
257 (defconst isar-keywords-minor |
257 (defconst isar-keywords-minor |
258 '("advanced" |
258 '("advanced" |
259 "and" |
259 "and" |
260 "as" |
|
260 "assumes" |
261 "assumes" |
261 "attach" |
262 "attach" |
262 "avoids" |
263 "avoids" |
263 "begin" |
264 "begin" |
264 "binder" |
265 "binder" |