changeset 379 | f19169277267 |
parent 376 | 1434bae63b20 |
child 380 | 17e61e935b8b |
--- a/RelaxNG/publiquiz.rnc mer. mai 06 12:18:25 2015 +0200 +++ b/RelaxNG/publiquiz.rnc mar. mai 19 17:25:05 2015 +0200 @@ -144,6 +144,7 @@ blanks-select.attributes = success.attribute? & multiple.attribute? + & shuffle.attribute? strict.attribute = attribute strict { xsd:boolean } multiple.attribute = attribute multiple { xsd:boolean } @@ -251,6 +252,7 @@ categories.attributes = success.attribute? & multiple.attribute? + & shuffle.attribute? categories.content = categories.intruders?,