RelaxNG/publiset.rnc
changeset 293 02671b229bdc
parent 288 e89c967167bb
child 310 13939fb7824a
equal deleted inserted replaced
292:68a36d507716 293:02671b229bdc
   334  & sub*
   334  & sub*
   335  & date*
   335  & date*
   336  & name*
   336  & name*
   337 }
   337 }
   338 
   338 
   339 inlines =
   339 inlines = mixed {
   340    simple.inlines
   340    sup*
       
   341  & sub*
       
   342  & date*
       
   343  & name*
       
   344 
   341  & highlight*
   345  & highlight*
   342  & emphasis*
   346  & emphasis*
   343  & link*
   347  & link*
       
   348 }
   344 
   349 
   345 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   350 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   346 
   351 
   347 sup = element sup { simple.inlines }
   352 sup = element sup { simple.inlines }
   348 
   353