# HG changeset patch
# User Coraline MARKWITZ
# Date 1476368819 -7200
# Node ID ad751158803d8045052bfe6092c8a3a053b10736
# Parent  e0506760c16dae249371577bba4c6d9c893814c3
ajout no-shuffle alpha

diff -r e0506760c16d -r ad751158803d RelaxNG/publiquiz.rnc
--- a/RelaxNG/publiquiz.rnc	lun. oct. 10 12:25:33 2016 +0200
+++ b/RelaxNG/publiquiz.rnc	jeu. oct. 13 16:26:59 2016 +0200
@@ -161,7 +161,7 @@
  & orientation.attribute?
 strict.attribute = attribute strict { xsd:boolean }
 multiple.attribute = attribute multiple { xsd:boolean }
-noshuffle.attribute = attribute no-shuffle { xsd:boolean }
+noshuffle.attribute = attribute no-shuffle { "true" | "false" | "alpha" }
 long.attribute = attribute long { xsd:positiveInteger }
 orientation.attribute = attribute orientation {"north"|"east"|"west"|"south"}