RelaxNG/publidoc.rnc
changeset 233 8c5ff445eea5
parent 232 3433c1953c64
child 236 dbec7d0cb842
equal deleted inserted replaced
232:3433c1953c64 233:8c5ff445eea5
   270 # ~~~~~~ attribution
   270 # ~~~~~~ attribution
   271 attribution = element attribution { attribution.content }
   271 attribution = element attribution { attribution.content }
   272 
   272 
   273 attribution.content = mixed {
   273 attribution.content = mixed {
   274    sup* & number* & date* & name* & foreign* & acronym* & term* & literal*
   274    sup* & number* & date* & name* & foreign* & acronym* & term* & literal*
   275  & highlight* & mentioned* & warning* }
   275  & highlight* & mentioned* & note* & warning* }
   276 
   276 
   277 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ table ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   277 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ table ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   278 
   278 
   279 # ~~~~~~ table
   279 # ~~~~~~ table
   280 table = element table { table.content }
   280 table = element table { table.content }