equal
deleted
inserted
replaced
650 note.attributes = |
650 note.attributes = |
651 note.label.attribute? |
651 note.label.attribute? |
652 note.label.attribute = attribute label { text } |
652 note.label.attribute = attribute label { text } |
653 |
653 |
654 note.content = |
654 note.content = |
655 (w?, p+) | inlines |
655 (w?, block+) | inlines |
656 |
656 |
657 w = element w { inlines } |
657 w = element w { inlines } |
658 |
658 |
659 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ foreign ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
659 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ foreign ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
660 |
660 |