equal
deleted
inserted
replaced
452 |
452 |
453 # ~~~~~~ list |
453 # ~~~~~~ list |
454 \list = |
454 \list = |
455 element list { |
455 element list { |
456 block.head?, |
456 block.head?, |
457 ( (attribute type {"ordered"}?, item, item+) | |
457 ( (list.type.attribute?, item, item+) | |
458 (attribute type {"glossary"}, item.glossary+) ) } |
458 (attribute type {"glossary"}, item.glossary+) ) } |
|
459 |
|
460 list.type.attribute = attribute type {"ordered" | "alpha" | "Alpha" } |
459 |
461 |
460 # ~~~~~~ item |
462 # ~~~~~~ item |
461 item = element item { item.content } |
463 item = element item { item.content } |
462 |
464 |
463 item.content = |
465 item.content = |