equal
deleted
inserted
replaced
149 section = element section { section.attributes, section.content } |
149 section = element section { section.attributes, section.content } |
150 |
150 |
151 section.attributes = |
151 section.attributes = |
152 section.type.attribute? |
152 section.type.attribute? |
153 & lang.attribute? |
153 & lang.attribute? |
|
154 & for.attribute? |
154 section.type.attribute = attribute type { xsd:NCName } |
155 section.type.attribute = attribute type { xsd:NCName } |
|
156 for.attribute = attribute for { xsd:NCName } |
155 |
157 |
156 section.content = |
158 section.content = |
157 section.head?, |
159 section.head?, |
158 (section+ | block+) |
160 (section+ | block+) |
159 |
161 |