equal
deleted
inserted
replaced
853 & index* |
853 & index* |
854 & gloss* |
854 & gloss* |
855 & image* |
855 & image* |
856 & audio* |
856 & audio* |
857 & smil* |
857 & smil* |
|
858 |
|
859 & nowrap* |
858 } |
860 } |
859 |
861 |
860 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup, var ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
862 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup, var ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
861 |
863 |
862 sup = element sup { mixed { var* & warning* } } |
864 sup = element sup { mixed { var* & warning* } } |
1065 begin.attribute = attribute begin { xsd:decimal } |
1067 begin.attribute = attribute begin { xsd:decimal } |
1066 end.attribute = attribute end { xsd:decimal } |
1068 end.attribute = attribute end { xsd:decimal } |
1067 |
1069 |
1068 smil.content = inlines |
1070 smil.content = inlines |
1069 |
1071 |
|
1072 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ nowrap ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
|
1073 |
|
1074 nowrap = element nowrap { nowrap.content } |
|
1075 |
|
1076 nowrap.content = inlines |
|
1077 |
1070 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ warning ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
1078 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ warning ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
1071 |
1079 |
1072 warning = element warning { warning.attributes, warning.content } |
1080 warning = element warning { warning.attributes, warning.content } |
1073 |
1081 |
1074 warning.attributes = |
1082 warning.attributes = |