equal
deleted
inserted
replaced
644 note.attributes = |
644 note.attributes = |
645 note.label.attribute? |
645 note.label.attribute? |
646 note.label.attribute = attribute label { text } |
646 note.label.attribute = attribute label { text } |
647 |
647 |
648 note.content = |
648 note.content = |
649 (w, p+) | inlines |
649 (w?, p+) | inlines |
650 |
650 |
651 w = element w { inlines } |
651 w = element w { inlines } |
652 |
652 |
653 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ foreign ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
653 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ foreign ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
654 |
654 |