equal
deleted
inserted
replaced
10 |
10 |
11 division.content = |
11 division.content = |
12 division.head?, |
12 division.head?, |
13 front?, |
13 front?, |
14 (division | topic | quiz)+ |
14 (division | topic | quiz)+ |
|
15 |
|
16 nowrap.content = |
|
17 inlines | blanks.inlines | blanks-m.inlines | pointing.inlines |
15 } |
18 } |
16 |
19 |
17 |
20 |
18 publiquiz = element publiquiz { |
21 publiquiz = element publiquiz { |
19 publiquiz.attributes, |
22 publiquiz.attributes, |
697 & anchor* |
700 & anchor* |
698 & index* |
701 & index* |
699 & image* |
702 & image* |
700 & audio* |
703 & audio* |
701 & smil* |
704 & smil* |
|
705 & nowrap* |
702 |
706 |
703 & blank* |
707 & blank* |
704 } |
708 } |
705 |
709 |
706 blanks-m.inlines = mixed { |
710 blanks-m.inlines = mixed { |
728 & anchor* |
732 & anchor* |
729 & index* |
733 & index* |
730 & image* |
734 & image* |
731 & audio* |
735 & audio* |
732 & smil* |
736 & smil* |
|
737 & nowrap* |
733 |
738 |
734 & blank-m* |
739 & blank-m* |
735 } |
740 } |
736 |
741 |
737 pointing.inlines = mixed { |
742 pointing.inlines = mixed { |
759 & anchor* |
764 & anchor* |
760 & index* |
765 & index* |
761 & image* |
766 & image* |
762 & audio* |
767 & audio* |
763 & smil* |
768 & smil* |
|
769 & nowrap* |
764 |
770 |
765 & point* |
771 & point* |
766 } |
772 } |
767 |
773 |
768 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ blank, blank-m ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
774 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ blank, blank-m ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |