equal
deleted
inserted
replaced
149 subject = element subject { subject.content } |
149 subject = element subject { subject.content } |
150 |
150 |
151 subject.content = simple.inlines |
151 subject.content = simple.inlines |
152 |
152 |
153 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ index ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
153 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ index ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
|
154 |
|
155 # ~~~~~~ indexset |
|
156 indexset = element indexset { indexset.content } |
|
157 |
|
158 indexset.content = head.index+ |
154 |
159 |
155 # ~~~~~~ index |
160 # ~~~~~~ index |
156 head.index = element index { head.index.content } |
161 head.index = element index { head.index.content } |
157 |
162 |
158 head.index.content = |
163 head.index.content = |
227 & contributors? |
232 & contributors? |
228 & date? |
233 & date? |
229 & (source, source?)? |
234 & (source, source?)? |
230 & keywordset? |
235 & keywordset? |
231 & subjectset? |
236 & subjectset? |
232 & head.index* |
237 & indexset? |
233 & abstract? |
238 & abstract? |
234 & cover? |
239 & cover? |
235 |
240 |
236 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ selection ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
241 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ selection ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
237 |
242 |
256 |
261 |
257 |
262 |
258 # ============================================================================= |
263 # ============================================================================= |
259 # DIVISION LEVEL |
264 # DIVISION LEVEL |
260 # ============================================================================= |
265 # ============================================================================= |
|
266 |
|
267 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ division.head ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
|
268 division.head = element head { division.head.content } |
|
269 |
|
270 division.head.content = |
|
271 (title, shorttitle?, subtitle*)? |
|
272 & indexset? |
261 |
273 |
262 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ division ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
274 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ division ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
263 |
275 |
264 # ~~~~~~ division |
276 # ~~~~~~ division |
265 composition.division = element division { |
277 composition.division = element division { |
282 composition.head?, |
294 composition.head?, |
283 (composition.division | composition.file)+ |
295 (composition.division | composition.file)+ |
284 selection.division.content = |
296 selection.division.content = |
285 selection.head?, |
297 selection.head?, |
286 (selection.division | selection.file | link)+ |
298 (selection.division | selection.file | link)+ |
287 |
|
288 # ~~~~~~ division.head |
|
289 division.head = element head { division.head.content } |
|
290 |
|
291 division.head.content = |
|
292 (title, shorttitle?, subtitle*)? |
|
293 & head.index* |
|
294 |
299 |
295 |
300 |
296 # ============================================================================= |
301 # ============================================================================= |
297 # FILE LEVEL |
302 # FILE LEVEL |
298 # ============================================================================= |
303 # ============================================================================= |