equal
deleted
inserted
replaced
74 |
74 |
75 top.head.content = |
75 top.head.content = |
76 (title, subtitle?)? |
76 (title, subtitle?)? |
77 & identifier* |
77 & identifier* |
78 & language? |
78 & language? |
|
79 & copyright? |
79 & author* |
80 & author* |
80 & publisher? |
81 & publisher? |
81 & source? |
82 & source? |
82 & cover? |
83 & cover? |
83 division.head.content = |
84 division.head.content = |
107 |
108 |
108 language = element language { language.attributes } |
109 language = element language { language.attributes } |
109 |
110 |
110 language.attributes = lang.attribute |
111 language.attributes = lang.attribute |
111 lang.attribute = attribute xml:lang { xsd:language } |
112 lang.attribute = attribute xml:lang { xsd:language } |
|
113 |
|
114 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ copyright ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
|
115 |
|
116 copyright = element copyright { copyright.content } |
|
117 |
|
118 copyright.content = inlines |
112 |
119 |
113 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ author, publisher ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
120 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ author, publisher ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
114 |
121 |
115 # ~~~~~~ author |
122 # ~~~~~~ author |
116 author = element author { author.content } |
123 author = element author { author.content } |