equal
deleted
inserted
replaced
29 document.id.attribute |
29 document.id.attribute |
30 document.id.attribute = attribute xml:id { xsd:ID } |
30 document.id.attribute = attribute xml:id { xsd:ID } |
31 |
31 |
32 document.content = |
32 document.content = |
33 top.head?, |
33 top.head?, |
34 (division+ | topic+) |
34 (division | topic)+ |
35 |
35 |
36 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ topic ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
36 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ topic ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
37 |
37 |
38 top.topic = element topic { top.topic.attributes, top.topic.content } |
38 top.topic = element topic { top.topic.attributes, top.topic.content } |
39 |
39 |
255 |
255 |
256 division = element division { division.content } |
256 division = element division { division.content } |
257 |
257 |
258 division.content = |
258 division.content = |
259 division.head?, |
259 division.head?, |
260 (division+ | topic+) |
260 (division | topic)+ |
261 |
261 |
262 |
262 |
263 # ============================================================================= |
263 # ============================================================================= |
264 # COMPONENT LEVEL |
264 # COMPONENT LEVEL |
265 # ============================================================================= |
265 # ============================================================================= |