equal
deleted
inserted
replaced
42 selection.attributes, |
42 selection.attributes, |
43 selection.content |
43 selection.content |
44 } |
44 } |
45 |
45 |
46 selection.attributes = |
46 selection.attributes = |
47 base.attribute? |
47 path.attribute? |
48 selection.id.attribute = attribute xml:id { xsd:ID } |
48 selection.id.attribute = attribute xml:id { xsd:ID } |
49 |
49 |
50 selection.content = |
50 selection.content = |
51 selection.head?, |
51 selection.head?, |
52 (selection.file | selection.division)+ |
52 (selection.file | selection.division)+ |