equal
deleted
inserted
replaced
45 document = element document { document.attributes, document.content } |
45 document = element document { document.attributes, document.content } |
46 |
46 |
47 document.attributes = |
47 document.attributes = |
48 document.id.attribute |
48 document.id.attribute |
49 & lang.attribute? |
49 & lang.attribute? |
50 document.id.attribute = attribute xml:id { xsd:ID } |
50 document.id.attribute = attribute id { xsd:NMTOKEN } |
51 lang.attribute = attribute xml:lang { xsd:language } |
51 lang.attribute = attribute xml:lang { xsd:language } |
52 |
52 |
53 document.content = |
53 document.content = |
54 top.head?, |
54 top.head?, |
55 (division | topic)+ |
55 (division | topic)+ |
60 |
60 |
61 top.topic.attributes = |
61 top.topic.attributes = |
62 topic.id.attribute |
62 topic.id.attribute |
63 & topic.type.attribute? |
63 & topic.type.attribute? |
64 & lang.attribute? |
64 & lang.attribute? |
65 topic.id.attribute = attribute xml:id { xsd:ID } |
65 topic.id.attribute = attribute id { xsd:NMTOKEN } |
66 topic.type.attribute = attribute type { xsd:NCName } |
66 topic.type.attribute = attribute type { xsd:NCName } |
67 |
67 |
68 top.topic.content = |
68 top.topic.content = |
69 top.head?, |
69 top.head?, |
70 section+ |
70 section+ |
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.id.attribute? |
114 topic.xmlid.attribute? |
115 & topic.type.attribute? |
115 & topic.type.attribute? |
116 & lang.attribute? |
116 & lang.attribute? |
|
117 topic.xmlid.attribute = attribute xml:id { xsd:ID } |
117 |
118 |
118 topic.content = |
119 topic.content = |
119 component.head?, |
120 component.head?, |
120 section+ |
121 section+ |
121 |
122 |