equal
deleted
inserted
replaced
395 glossary.entry.attributes = |
395 glossary.entry.attributes = |
396 xmlid.attribute |
396 xmlid.attribute |
397 |
397 |
398 glossary.entry.content = |
398 glossary.entry.content = |
399 mainterm, |
399 mainterm, |
|
400 media?, |
400 meanings+, |
401 meanings+, |
401 seealso* |
402 seealso* |
402 |
403 |
403 # ~~~~~~ mainterm |
404 # ~~~~~~ mainterm |
404 mainterm = element mainterm { mainterm.content } |
405 mainterm = element mainterm { mainterm.content } |
793 |
794 |
794 # ~~~~~~ translation |
795 # ~~~~~~ translation |
795 translation = element translation { simple.inlines } |
796 translation = element translation { simple.inlines } |
796 |
797 |
797 # ~~~~~~ dictum |
798 # ~~~~~~ dictum |
798 dictum = element dictum { inlines } |
799 dictum = element dictum { dictum.content } |
|
800 dictum.content = p+ |
799 |
801 |
800 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ seealso ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
802 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ seealso ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
801 |
803 |
802 seealso = element seealso { seealso.attributes } |
804 seealso = element seealso { seealso.attributes } |
803 |
805 |