RelaxNG/publidoc.rnc
changeset 427 b3750f8b986d
parent 426 38cd9865036b
child 433 25c3b6109823
equal deleted inserted replaced
426:38cd9865036b 427:b3750f8b986d
   393 glossary.entry.attributes =
   393 glossary.entry.attributes =
   394    xmlid.attribute?
   394    xmlid.attribute?
   395 
   395 
   396 glossary.entry.content =
   396 glossary.entry.content =
   397    mainterm,
   397    mainterm,
   398    alt-terms,
   398    alt-terms?,
   399    media?,
   399    media?,
   400    meanings+,
   400    meanings+,
   401    seealso*
   401    seealso*
   402 
   402 
   403 # ~~~~~~ mainterm
   403 # ~~~~~~ mainterm