equal
deleted
inserted
replaced
24 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ top.head ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
24 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ top.head ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
25 |
25 |
26 top.head = element head { top.head.content } |
26 top.head = element head { top.head.content } |
27 |
27 |
28 top.head.content = |
28 top.head.content = |
29 (title, subtitle?)? |
29 (title, shorttitle?, subtitle?)? |
30 & identifier* |
30 & identifier* |
31 & copyright? |
31 & copyright? |
32 & contributors? |
32 & contributors? |
33 & date? |
33 & date? |
34 & place? |
34 & place? |
85 |
85 |
86 # ~~~~~~ division.head |
86 # ~~~~~~ division.head |
87 division.head = element head { division.head.content } |
87 division.head = element head { division.head.content } |
88 |
88 |
89 division.head.content = |
89 division.head.content = |
90 (title, subtitle?)? |
90 (title, shorttitle?, subtitle?)? |
91 & abstract? |
91 & abstract? |
92 & annotation* |
92 & annotation* |
93 |
93 |
94 |
94 |
95 # ============================================================================= |
95 # ============================================================================= |
99 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ component.head ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
99 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ component.head ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
100 |
100 |
101 component.head = element head { component.head.content } |
101 component.head = element head { component.head.content } |
102 |
102 |
103 component.head.content = |
103 component.head.content = |
104 (title, subtitle?)? |
104 (title, shorttitle?, subtitle?)? |
105 & contributors? |
105 & contributors? |
106 & abstract? |
106 & abstract? |
107 & annotation* |
107 & annotation* |
108 |
108 |
109 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ topic ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
109 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ topic ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
141 |
141 |
142 # ~~~~~~ section.head |
142 # ~~~~~~ section.head |
143 section.head = element head { section.head.content } |
143 section.head = element head { section.head.content } |
144 |
144 |
145 section.head.content = |
145 section.head.content = |
146 (title, subtitle?)? |
146 (title, shorttitle?, subtitle?)? |
147 & abstract? |
147 & abstract? |
148 & audio* |
148 & audio* |
149 & annotation* |
149 & annotation* |
150 |
150 |
151 |
151 |
160 |
160 |
161 # ~~~~~~ block.head |
161 # ~~~~~~ block.head |
162 block.head = element head { block.head.content } |
162 block.head = element head { block.head.content } |
163 |
163 |
164 block.head.content = |
164 block.head.content = |
165 (title, subtitle?)? |
165 (title, shorttitle?, subtitle?)? |
166 |
166 |
167 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ p ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
167 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ p ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
168 |
168 |
169 p = element p { p.content } |
169 p = element p { p.content } |
170 |
170 |
381 |
381 |
382 # ============================================================================= |
382 # ============================================================================= |
383 # HEAD LEVEL |
383 # HEAD LEVEL |
384 # ============================================================================= |
384 # ============================================================================= |
385 |
385 |
386 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ title, subtitle ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
386 # ~~~~~~~~~~~~~~~~~~~~~~~ title, shorttitle, subtitle ~~~~~~~~~~~~~~~~~~~~~~~~~ |
387 |
387 |
388 title = element title { title.content } |
388 title = element title { title.content } |
|
389 shorttitle = element shorttitle { title.content } |
389 subtitle = element subtitle { title.content } |
390 subtitle = element subtitle { title.content } |
390 |
391 |
391 title.content = inlines |
392 title.content = inlines |
392 |
393 |
393 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ identifier ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
394 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ identifier ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |