equal
deleted
inserted
replaced
250 |
250 |
251 glossary = element glossary { glossary.attributes, glossary.content } |
251 glossary = element glossary { glossary.attributes, glossary.content } |
252 |
252 |
253 glossary.attributes = |
253 glossary.attributes = |
254 glossary.type.attribute? |
254 glossary.type.attribute? |
255 & langfrom.attribute? |
255 & lang.attribute? |
256 & langto.attribute? |
256 & langto.attribute? |
257 glossary.type.attribute = attribute type { xsd:NCName } |
257 glossary.type.attribute = attribute type { xsd:NCName } |
258 langfrom.attribute = attribute langfrom { xsd:language } |
|
259 langto.attribute = attribute langto { xsd:language } |
258 langto.attribute = attribute langto { xsd:language } |
260 |
259 |
261 glossary.content = |
260 glossary.content = |
262 glossary.entry+ |
261 glossary.entry+ |
263 |
262 |
391 # ~~~~~~ glossary.entry |
390 # ~~~~~~ glossary.entry |
392 glossary.entry= element entry { |
391 glossary.entry= element entry { |
393 glossary.entry.attributes, glossary.entry.content } |
392 glossary.entry.attributes, glossary.entry.content } |
394 |
393 |
395 glossary.entry.attributes = |
394 glossary.entry.attributes = |
396 xmlid.attribute |
395 xmlid.attribute? |
397 |
396 |
398 glossary.entry.content = |
397 glossary.entry.content = |
399 mainterm, |
398 mainterm, |
|
399 alt-terms, |
400 media?, |
400 media?, |
401 meanings+, |
401 meanings+, |
402 seealso* |
402 seealso* |
403 |
403 |
404 # ~~~~~~ mainterm |
404 # ~~~~~~ mainterm |
405 mainterm = element mainterm { mainterm.content } |
405 mainterm = element mainterm { mainterm.content } |
406 mainterm.content = simple.inlines |
406 mainterm.content = simple.inlines |
|
407 |
|
408 # ~~~~~~ alt-terms |
|
409 alt-terms = element alt-terms { alt-terms.content } |
|
410 alt-terms.content = alt-term+ |
|
411 |
|
412 # ~~~~~~ alt-term |
|
413 alt-term = element alt-term { alt-terms.attributes, alt-term.content } |
|
414 alt-terms.attributes = type.attribute? |
|
415 alt-term.content = inlines |
407 |
416 |
408 # ============================================================================= |
417 # ============================================================================= |
409 # BLOCK LEVEL |
418 # BLOCK LEVEL |
410 # ============================================================================= |
419 # ============================================================================= |
411 |
420 |