equal
deleted
inserted
replaced
109 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ topic ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
109 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ topic ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
110 |
110 |
111 topic = element topic { topic.attributes, topic.content } |
111 topic = element topic { topic.attributes, topic.content } |
112 |
112 |
113 topic.attributes = |
113 topic.attributes = |
114 topic.xmlid.attribute? |
114 topic.id.attribute? |
115 & topic.type.attribute? |
115 & topic.type.attribute? |
116 & lang.attribute? |
116 & lang.attribute? |
117 topic.xmlid.attribute = attribute xml:id { xsd:ID } |
|
118 |
117 |
119 topic.content = |
118 topic.content = |
120 component.head?, |
119 component.head?, |
121 section+ |
120 section+ |
122 |
121 |