RelaxNG/publiquiz.rnc
changeset 380 17e61e935b8b
parent 379 f19169277267
child 381 429101cc5d26
--- a/RelaxNG/publiquiz.rnc	mar. mai 19 17:25:05 2015 +0200
+++ b/RelaxNG/publiquiz.rnc	mar. mai 19 17:52:15 2015 +0200
@@ -144,9 +144,10 @@
 blanks-select.attributes =
    success.attribute?
  & multiple.attribute?
- & shuffle.attribute?
+ & noshuffle.attribute?
 strict.attribute = attribute strict { xsd:boolean }
 multiple.attribute = attribute multiple { xsd:boolean }
+noshuffle.attribute = attribute no-shuffle { xsd:boolean }
 
 blanks-fill.content =
    (blanks.block+ | blanks.section+)
@@ -252,7 +253,7 @@
 categories.attributes =
    success.attribute?
  & multiple.attribute?
- & shuffle.attribute?
+ & noshuffle.attribute?
 
 categories.content =
    categories.intruders?,