equal
deleted
inserted
replaced
333 |
333 |
334 # ~~~~~~ item |
334 # ~~~~~~ item |
335 item = element item { item.content } |
335 item = element item { item.content } |
336 |
336 |
337 item.content = |
337 item.content = |
338 block+ |
338 inlines |
339 | inlines |
339 | block+ |
340 |
340 |
341 # ~~~~~~ glossary.item |
341 # ~~~~~~ glossary.item |
342 glossary.item = element item { glossary.item.content } |
342 glossary.item = element item { glossary.item.content } |
343 |
343 |
344 glossary.item.content = |
344 glossary.item.content = |
361 attribution.content = |
361 attribution.content = |
362 inlines |
362 inlines |
363 |
363 |
364 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ table ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
364 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ table ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
365 |
365 |
|
366 # ~~~~~~ table |
366 table = element table { table.content } |
367 table = element table { table.content } |
367 |
368 |
368 table.content = |
369 table.content = |
369 block.head?, |
370 block.head?, |
370 tgroup+, |
371 tgroup+, |