equal
deleted
inserted
replaced
90 | blanks-fill |
90 | blanks-fill |
91 | blanks-select |
91 | blanks-select |
92 | point |
92 | point |
93 | matching |
93 | matching |
94 | sort |
94 | sort |
|
95 | categories |
95 | production |
96 | production |
96 |
97 |
97 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ choices ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
98 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ choices ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
98 |
99 |
99 choices-radio = element choices-radio { |
100 choices-radio = element choices-radio { |
160 |
161 |
161 sort.content = |
162 sort.content = |
162 comparison?, |
163 comparison?, |
163 sort.item, |
164 sort.item, |
164 sort.item+ |
165 sort.item+ |
|
166 |
|
167 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ categories ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
|
168 |
|
169 # ~~~~~~ categories |
|
170 categories = element categories { categories.content } |
|
171 |
|
172 categories.content = |
|
173 category, |
|
174 category+ |
|
175 |
|
176 # ~~~~~~ category |
|
177 category = element category { category.content } |
|
178 |
|
179 category.content = |
|
180 category.head, |
|
181 category.item* |
|
182 |
|
183 # ~~~~~~ category.head |
|
184 category.head = element head { category.head.content } |
|
185 |
|
186 category.head.content = |
|
187 title, |
|
188 subtitle? |
165 |
189 |
166 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ production ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
190 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ production ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
167 |
191 |
168 production = element production { empty } |
192 production = element production { empty } |
169 |
193 |
346 sort.item.attributes = |
370 sort.item.attributes = |
347 item.shuffle.attribute? |
371 item.shuffle.attribute? |
348 item.shuffle.attribute = attribute shuffle { xsd:integer } |
372 item.shuffle.attribute = attribute shuffle { xsd:integer } |
349 |
373 |
350 sort.item.content = inlines |
374 sort.item.content = inlines |
|
375 |
|
376 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ (category) item ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
|
377 |
|
378 # ~~~~~~ category.item |
|
379 category.item = element item { category.item.content } |
|
380 |
|
381 category.item.content = inlines |
351 |
382 |
352 |
383 |
353 # ============================================================================= |
384 # ============================================================================= |
354 # INLINE LEVEL |
385 # INLINE LEVEL |
355 # ============================================================================= |
386 # ============================================================================= |