equal
deleted
inserted
replaced
212 |
212 |
213 # ~~~~~~ speaker |
213 # ~~~~~~ speaker |
214 speaker = element speaker { speaker.content } |
214 speaker = element speaker { speaker.content } |
215 |
215 |
216 speaker.content = inlines |
216 speaker.content = inlines |
217 |
|
218 # ~~~~~~ stage |
|
219 stage = element stage { stage.content } |
|
220 |
|
221 stage.content = inlines |
|
222 |
217 |
223 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ list ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
218 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ list ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
224 |
219 |
225 # ~~~~~~ list |
220 # ~~~~~~ list |
226 \list = element list { |
221 \list = element list { |
601 & highlight* |
596 & highlight* |
602 & quote* |
597 & quote* |
603 & acronym* |
598 & acronym* |
604 & mentioned* |
599 & mentioned* |
605 & term* |
600 & term* |
|
601 & stage* |
606 & literal* |
602 & literal* |
|
603 & initial* |
607 & link* |
604 & link* |
608 & anchor* |
605 & anchor* |
609 & initial* |
|
610 & image* |
606 & image* |
611 & smil* |
607 & smil* |
612 } |
608 } |
613 |
609 |
614 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup, var ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
610 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup, var ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
725 |
721 |
726 term = element term { term.content } |
722 term = element term { term.content } |
727 |
723 |
728 term.content = inlines |
724 term.content = inlines |
729 |
725 |
|
726 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ stage ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
|
727 |
|
728 stage = element stage { stage.content } |
|
729 |
|
730 stage.content = inlines |
|
731 |
730 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ literal ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
732 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ literal ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
731 |
733 |
732 literal = element literal { literal.content } |
734 literal = element literal { literal.content } |
733 |
735 |
734 literal.content = text |
736 literal.content = text |
|
737 |
|
738 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ initial ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
|
739 |
|
740 initial = element initial { initial.content } |
|
741 |
|
742 initial.content = |
|
743 c, |
|
744 w? |
|
745 |
|
746 c = element c { text } |
735 |
747 |
736 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ link ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
748 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ link ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
737 |
749 |
738 link = element link { link.attributes, link.content } |
750 link = element link { link.attributes, link.content } |
739 |
751 |
751 anchor.attributes = |
763 anchor.attributes = |
752 anchor.id.attribute |
764 anchor.id.attribute |
753 anchor.id.attribute = attribute xml:id { xsd:ID } |
765 anchor.id.attribute = attribute xml:id { xsd:ID } |
754 |
766 |
755 anchor.content = inlines |
767 anchor.content = inlines |
756 |
|
757 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ initial ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
|
758 |
|
759 initial = element initial { initial.content } |
|
760 |
|
761 initial.content = |
|
762 c, |
|
763 w? |
|
764 |
|
765 c = element c { text } |
|
766 |
768 |
767 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ smil ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
769 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ smil ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
768 |
770 |
769 smil = element smil { smil.attributes, smil.content } |
771 smil = element smil { smil.attributes, smil.content } |
770 |
772 |