equal
deleted
inserted
replaced
264 attribution? |
264 attribution? |
265 |
265 |
266 # ~~~~~~ attribution |
266 # ~~~~~~ attribution |
267 attribution = element attribution { attribution.content } |
267 attribution = element attribution { attribution.content } |
268 |
268 |
269 attribution.content = |
269 attribution.content = mixed { |
270 inlines |
270 sup* & number* & date* & name* & foreign* & acronym* & term* & literal* |
|
271 & highlight* & mentioned* & warning* } |
271 |
272 |
272 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ table ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
273 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ table ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
273 |
274 |
274 # ~~~~~~ table |
275 # ~~~~~~ table |
275 table = element table { table.content } |
276 table = element table { table.content } |
656 & warning* |
657 & warning* |
657 } |
658 } |
658 |
659 |
659 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup, var ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
660 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup, var ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
660 |
661 |
661 sup = element sup { text } |
662 sup = element sup { mixed { warning* } } |
662 |
663 |
663 sub = element sub { text } |
664 sub = element sub { mixed { warning* } } |
664 |
665 |
665 var = element var { text } |
666 var = element var { mixed { warning* } } |
666 |
667 |
667 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ number ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
668 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ number ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
668 |
669 |
669 number = element number { |
670 number = element number { |
670 ( attribute type {"roman"}, number.attributes, number.roman.content ) |
671 ( attribute type {"roman"}, number.attributes, number.roman.content ) |
687 |
688 |
688 math.attributes = |
689 math.attributes = |
689 wide.attribute? |
690 wide.attribute? |
690 wide.attribute = attribute wide { xsd:boolean } |
691 wide.attribute = attribute wide { xsd:boolean } |
691 |
692 |
692 math.content = mixed { sup* & sub* & var* } |
693 math.content = mixed { sup* & sub* & var* & warning* } |
693 math.tex.content = text |
694 math.tex.content = text |
694 |
695 |
695 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ date ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
696 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ date ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
696 |
697 |
697 date = element date { date.attributes, date.content } |
698 date = element date { date.attributes, date.content } |
800 link.attributes = |
801 link.attributes = |
801 (uri.attribute | idref.attribute) |
802 (uri.attribute | idref.attribute) |
802 uri.attribute = attribute uri { xsd:anyURI } |
803 uri.attribute = attribute uri { xsd:anyURI } |
803 idref.attribute = attribute idref { xsd:IDREF } |
804 idref.attribute = attribute idref { xsd:IDREF } |
804 |
805 |
805 link.content = mixed { |
806 link.content = mixed { |
806 sup* & sub* & var* & number* & math* & date* & name* & foreign* & acronym* |
807 sup* & sub* & var* & number* & math* & date* & name* & foreign* & acronym* |
807 & term* & literal* & stage* & highlight* & mentioned* & warning* } |
808 & term* & literal* & stage* & highlight* & mentioned* & warning* } |
808 |
809 |
809 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ anchor ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
810 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ anchor ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
810 |
811 |
832 |
833 |
833 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ warning ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
834 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ warning ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
834 |
835 |
835 warning = element warning { warning.content } |
836 warning = element warning { warning.content } |
836 |
837 |
837 warning.content = inlines |
838 warning.content = text |