equal
deleted
inserted
replaced
810 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ smil ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
810 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ smil ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
811 |
811 |
812 smil = element smil { smil.attributes, smil.content } |
812 smil = element smil { smil.attributes, smil.content } |
813 |
813 |
814 smil.attributes = |
814 smil.attributes = |
815 begin.attribute? |
815 audio.attribute? |
|
816 & begin.attribute? |
816 & end.attribute? |
817 & end.attribute? |
|
818 audio.attribute = attribute audio { xsd:anyURI } |
817 begin.attribute = attribute begin { xsd:decimal } |
819 begin.attribute = attribute begin { xsd:decimal } |
818 end.attribute = attribute end { xsd:decimal } |
820 end.attribute = attribute end { xsd:decimal } |
819 |
821 |
820 smil.content = inlines |
822 smil.content = inlines |
821 |
823 |