# HG changeset patch # User iinov # Date 1536160711 -7200 # Node ID 58b2704e601a51f0646fa3b4d3de381604bfe36f # Parent 7e0c719c9526c4c02f0b599a9a5d29efe1c3b586 Ajout intrus en tri diff -r 7e0c719c9526 -r 58b2704e601a Data/Quiz/sort.xml --- a/Data/Quiz/sort.xml jeu. août 23 23:53:03 2018 +0200 +++ b/Data/Quiz/sort.xml mer. sept. 05 17:18:31 2018 +0200 @@ -11,6 +11,9 @@ < + + cat + 59 66 73 diff -r 7e0c719c9526 -r 58b2704e601a RelaxNG/publiquiz.rnc --- a/RelaxNG/publiquiz.rnc jeu. août 23 23:53:03 2018 +0200 +++ b/RelaxNG/publiquiz.rnc mer. sept. 05 17:18:31 2018 +0200 @@ -281,9 +281,10 @@ & orientation.attribute? sort.content = - comparison?, - sort.item, - sort.item+ + comparison?, + sort.intruders?, + sort.item, + sort.item+ # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ categories ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ @@ -877,6 +878,12 @@ comparison.content = inlines +# ~~~~~~~ sort.intruders +sort.intruders = element intruders { sort.intruders.content } + +sort.intruders.content = + sort.item+ + # ~~~~~~ sort.item sort.item = element item { sort.item.attributes, sort.item.content }