equal
deleted
inserted
replaced
132 selection.file = element file { selection.file.attributes, file.content } |
132 selection.file = element file { selection.file.attributes, file.content } |
133 |
133 |
134 composition.file.attributes = |
134 composition.file.attributes = |
135 path.attribute? |
135 path.attribute? |
136 & (xpath.attribute | xslt.attribute)? |
136 & (xpath.attribute | xslt.attribute)? |
|
137 & argument.attribute? |
137 selection.file.attributes = |
138 selection.file.attributes = |
138 path.attribute? |
139 path.attribute? |
139 |
140 argument.attribute = attribute argument { text } |
|
141 |
140 file.content = xsd:anyURI |
142 file.content = xsd:anyURI |
141 |
143 |
142 |
144 |
143 # ============================================================================= |
145 # ============================================================================= |
144 # BLOCK LEVEL |
146 # BLOCK LEVEL |