equal
deleted
inserted
replaced
168 long.attribute = attribute long { xsd:positiveInteger } |
168 long.attribute = attribute long { xsd:positiveInteger } |
169 orientation.attribute = attribute orientation {"north"|"east"|"west"|"south"} |
169 orientation.attribute = attribute orientation {"north"|"east"|"west"|"south"} |
170 |
170 |
171 blanks-fill.content = |
171 blanks-fill.content = |
172 (blanks.block+ | blanks.section+), |
172 (blanks.block+ | blanks.section+), |
173 keyboard |
173 keyboard? |
174 blanks-select.content = |
174 blanks-select.content = |
175 blanks.intruders?, |
175 blanks.intruders?, |
176 (blanks.block+ | blanks.section+) |
176 (blanks.block+ | blanks.section+) |
177 blanks-media.content = |
177 blanks-media.content = |
178 blanks-m.intruders?, |
178 blanks-m.intruders?, |