equal
deleted
inserted
replaced
729 foreign = element foreign { foreign.attributes, foreign.content } |
729 foreign = element foreign { foreign.attributes, foreign.content } |
730 |
730 |
731 foreign.attributes = |
731 foreign.attributes = |
732 lang.attribute? |
732 lang.attribute? |
733 |
733 |
734 foreign.content = mixed { sup* & sub* & number* & warning* } |
734 foreign.content = inlines |
735 |
735 |
736 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ acronym ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
736 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ acronym ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
737 |
737 |
738 acronym = element acronym { acronym.content } |
738 acronym = element acronym { acronym.content } |
739 |
739 |