equal
deleted
inserted
replaced
439 dictation.attributes = |
439 dictation.attributes = |
440 case_insensitive.attribute? |
440 case_insensitive.attribute? |
441 case_insensitive.attribute = attribute case-insensitive { xsd:boolean } |
441 case_insensitive.attribute = attribute case-insensitive { xsd:boolean } |
442 |
442 |
443 dictation.content = |
443 dictation.content = |
444 audio, |
444 dictation.media, |
445 dictation.p |
445 dictation.p |
446 |
446 |
447 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ production ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
447 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ production ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
448 |
448 |
449 production = element production { production.content } |
449 production = element production { production.content } |
777 blanks.media = element media { media.attributes, blanks.media.content } |
777 blanks.media = element media { media.attributes, blanks.media.content } |
778 blanks-m.media = element media { media.attributes, blanks-m.media.content } |
778 blanks-m.media = element media { media.attributes, blanks-m.media.content } |
779 blanks-c.media = element media { media.attributes, blanks-c.media.content } |
779 blanks-c.media = element media { media.attributes, blanks-c.media.content } |
780 correct.media = element media { media.attributes, correct.media.content } |
780 correct.media = element media { media.attributes, correct.media.content } |
781 pointing.media = element media { media.attributes, pointing.media.content } |
781 pointing.media = element media { media.attributes, pointing.media.content } |
|
782 dictation.media = element media { media.attributes, dictation.media.content } |
782 |
783 |
783 blanks.media.content = |
784 blanks.media.content = |
784 block.head?, |
785 block.head?, |
785 (blanks.image | audio | video)+, |
786 (blanks.image | audio | video)+, |
786 blanks.media.caption?, |
787 blanks.media.caption?, |
803 pointing.media.content = |
804 pointing.media.content = |
804 block.head?, |
805 block.head?, |
805 (image | audio | video)+, |
806 (image | audio | video)+, |
806 pointing.media.caption?, |
807 pointing.media.caption?, |
807 link? |
808 link? |
|
809 dictation.media.content = |
|
810 audio |
808 |
811 |
809 # ~~~~~~ blanks.image |
812 # ~~~~~~ blanks.image |
810 blanks.image = element image { image.attributes, blanks.image.content } |
813 blanks.image = element image { image.attributes, blanks.image.content } |
811 blanks-m.image = element image { image.attributes, blanks-m.image.content } |
814 blanks-m.image = element image { image.attributes, blanks-m.image.content } |
812 |
815 |