| changeset 708 | 587e97d144a0 |
| parent 705 | f51c6069cd17 |
| 707:6decb8811d30 | 708:587e97d144a0 |
|---|---|
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" |