RelaxNG/publiquiz.rnc
changeset 379 f19169277267
parent 376 1434bae63b20
child 380 17e61e935b8b
equal deleted inserted replaced
378:3d4afb50a143 379:f19169277267
   142    success.attribute?
   142    success.attribute?
   143  & strict.attribute?
   143  & strict.attribute?
   144 blanks-select.attributes =
   144 blanks-select.attributes =
   145    success.attribute?
   145    success.attribute?
   146  & multiple.attribute?
   146  & multiple.attribute?
       
   147  & shuffle.attribute?
   147 strict.attribute = attribute strict { xsd:boolean }
   148 strict.attribute = attribute strict { xsd:boolean }
   148 multiple.attribute = attribute multiple { xsd:boolean }
   149 multiple.attribute = attribute multiple { xsd:boolean }
   149 
   150 
   150 blanks-fill.content =
   151 blanks-fill.content =
   151    (blanks.block+ | blanks.section+)
   152    (blanks.block+ | blanks.section+)
   249 categories = element categories { categories.attributes, categories.content }
   250 categories = element categories { categories.attributes, categories.content }
   250 
   251 
   251 categories.attributes =
   252 categories.attributes =
   252    success.attribute?
   253    success.attribute?
   253  & multiple.attribute?
   254  & multiple.attribute?
       
   255  & shuffle.attribute?
   254 
   256 
   255 categories.content =
   257 categories.content =
   256    categories.intruders?,
   258    categories.intruders?,
   257    category,
   259    category,
   258    category+
   260    category+