equal
deleted
inserted
replaced
326 # ~~~~~~ list |
326 # ~~~~~~ list |
327 \list = element list { \list.content } |
327 \list = element list { \list.content } |
328 |
328 |
329 \list.content = |
329 \list.content = |
330 block.head?, |
330 block.head?, |
331 ( (attribute type {"ordered"} ?, item, item+) |
331 ( (attribute type {"ordered"}?, item, item+) |
332 | (attribute type {"glossary"}, glossary.item+) ) |
332 | (attribute type {"glossary"}, glossary.item+) ) |
333 |
333 |
334 # ~~~~~~ item |
334 # ~~~~~~ item |
335 item = element item { item.content } |
335 item = element item { item.content } |
336 |
336 |