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