equal
deleted
inserted
replaced
275 |
275 |
276 # ============================================================================= |
276 # ============================================================================= |
277 # DIVISION LEVEL |
277 # DIVISION LEVEL |
278 # ============================================================================= |
278 # ============================================================================= |
279 |
279 |
280 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ division.head ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
|
281 division.head = element head { division.head.content } |
|
282 |
|
283 division.head.content = |
|
284 (title, shorttitle?, subtitle*)? |
|
285 & indexset? |
|
286 & \element* |
|
287 |
|
288 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ division ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
280 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ division ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
289 |
281 |
290 # ~~~~~~ division |
282 # ~~~~~~ division |
291 composition.division = element division { |
283 composition.division = element division { |
292 composition.division.attributes, |
284 composition.division.attributes, |