equal
deleted
inserted
replaced
643 & initial* |
643 & initial* |
644 & link* |
644 & link* |
645 & anchor* |
645 & anchor* |
646 & image* |
646 & image* |
647 & smil* |
647 & smil* |
|
648 & warning* |
648 } |
649 } |
649 |
650 |
650 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup, var ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
651 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup, var ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
651 |
652 |
652 sup = element sup { text } |
653 sup = element sup { text } |
815 & end.attribute? |
816 & end.attribute? |
816 begin.attribute = attribute begin { xsd:decimal } |
817 begin.attribute = attribute begin { xsd:decimal } |
817 end.attribute = attribute end { xsd:decimal } |
818 end.attribute = attribute end { xsd:decimal } |
818 |
819 |
819 smil.content = inlines |
820 smil.content = inlines |
|
821 |
|
822 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ warning ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
|
823 |
|
824 warning = element warning { warning.content } |
|
825 |
|
826 warning.content = inlines |