equal
deleted
inserted
replaced
44 # ~~~~~~ document |
44 # ~~~~~~ document |
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 & document.type.attribute? |
49 & lang.attribute? |
50 & lang.attribute? |
50 document.id.attribute = attribute id { xsd:NMTOKEN } |
51 document.id.attribute = attribute id { xsd:NMTOKEN } |
|
52 document.type.attribute = attribute type { xsd:NCName } |
51 lang.attribute = attribute xml:lang { xsd:language } |
53 lang.attribute = attribute xml:lang { xsd:language } |
52 |
54 |
53 document.content = |
55 document.content = |
54 top.head?, |
56 top.head?, |
55 (division | topic)+ |
57 (division | topic)+ |