RelaxNG/publidoc.rnc
changeset 70 5d58a740a067
parent 69 52c72abcc57d
child 71 91ae8b8e07c6
equal deleted inserted replaced
69:52c72abcc57d 70:5d58a740a067
   239 
   239 
   240 # =============================================================================
   240 # =============================================================================
   241 #                                 DIVISION LEVEL
   241 #                                 DIVISION LEVEL
   242 # =============================================================================
   242 # =============================================================================
   243 
   243 
   244 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ division ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   244 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ division ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   245 
   245 
   246 division = element division { division.content }
   246 division = element division { division.content }
   247 
   247 
   248 division.content =
   248 division.content =
   249    division.head?,
   249    division.head?,