equal
deleted
inserted
replaced
80 # ============================================================================= |
80 # ============================================================================= |
81 |
81 |
82 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ division ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
82 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ division ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
83 |
83 |
84 # ~~~~~~ division |
84 # ~~~~~~ division |
85 division = element division { division.content } |
85 division = element division { division.attributes, division.content } |
|
86 |
|
87 division.attributes = |
|
88 division.type.attribute? |
|
89 division.type.attribute = attribute type { xsd:NCName } |
86 |
90 |
87 division.content = |
91 division.content = |
88 division.head?, |
92 division.head?, |
89 front?, |
93 front?, |
90 (division | topic)+ |
94 (division | topic)+ |