RelaxNG/publiquiz.rnc
changeset 437 ad751158803d
parent 436 e0506760c16d
child 438 f4ab39840020
equal deleted inserted replaced
436:e0506760c16d 437:ad751158803d
   159  & multiple.attribute?
   159  & multiple.attribute?
   160  & noshuffle.attribute?
   160  & noshuffle.attribute?
   161  & orientation.attribute?
   161  & orientation.attribute?
   162 strict.attribute = attribute strict { xsd:boolean }
   162 strict.attribute = attribute strict { xsd:boolean }
   163 multiple.attribute = attribute multiple { xsd:boolean }
   163 multiple.attribute = attribute multiple { xsd:boolean }
   164 noshuffle.attribute = attribute no-shuffle { xsd:boolean }
   164 noshuffle.attribute = attribute no-shuffle { "true" | "false" | "alpha" }
   165 long.attribute = attribute long { xsd:positiveInteger }
   165 long.attribute = attribute long { xsd:positiveInteger }
   166 orientation.attribute = attribute orientation {"north"|"east"|"west"|"south"}
   166 orientation.attribute = attribute orientation {"north"|"east"|"west"|"south"}
   167 
   167 
   168 blanks-fill.content =
   168 blanks-fill.content =
   169    (blanks.block+ | blanks.section+)
   169    (blanks.block+ | blanks.section+)