equal
deleted
inserted
replaced
27 |
27 |
28 top.head.content = |
28 top.head.content = |
29 (title, shorttitle?, subtitle?)? |
29 (title, shorttitle?, subtitle?)? |
30 & identifier* |
30 & identifier* |
31 & copyright? |
31 & copyright? |
|
32 & collection? |
32 & contributors? |
33 & contributors? |
33 & date? |
34 & date? |
34 & place? |
35 & place? |
35 & source* |
36 & source* |
36 & keywordset? |
37 & keywordset? |
364 |
365 |
365 video.attributes = |
366 video.attributes = |
366 media.id.attribute |
367 media.id.attribute |
367 |
368 |
368 # ~~~~~~ hotspot |
369 # ~~~~~~ hotspot |
369 |
|
370 hotspot = element hotspot { hotspot.attributes, hotspot.content } |
370 hotspot = element hotspot { hotspot.attributes, hotspot.content } |
371 |
371 |
372 hotspot.attributes = |
372 hotspot.attributes = |
373 x.attribute |
373 x.attribute |
374 & y.attribute |
374 & y.attribute |
380 |
380 |
381 hotspot.content = |
381 hotspot.content = |
382 (link | audio | video) |
382 (link | audio | video) |
383 |
383 |
384 # ~~~~~~ tooltip |
384 # ~~~~~~ tooltip |
385 |
|
386 tooltip = element tooltip { tooltip.attributes, tooltip.content } |
385 tooltip = element tooltip { tooltip.attributes, tooltip.content } |
387 |
386 |
388 tooltip.attributes = |
387 tooltip.attributes = |
389 x.attribute |
388 x.attribute |
390 & y.attribute |
389 & y.attribute |
431 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ copyright ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
430 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ copyright ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
432 |
431 |
433 copyright = element copyright { copyright.content } |
432 copyright = element copyright { copyright.content } |
434 |
433 |
435 copyright.content = inlines |
434 copyright.content = inlines |
|
435 |
|
436 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ collection ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
|
437 |
|
438 collection = element collection { collection.content } |
|
439 |
|
440 collection.content = inlines |
436 |
441 |
437 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ contributors ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
442 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ contributors ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
438 |
443 |
439 # ~~~~~~ contributors |
444 # ~~~~~~ contributors |
440 contributors = element contributors { contributors.content } |
445 contributors = element contributors { contributors.content } |