diff -r bd989e2633f7 -r 4840aea082dd RelaxNG/publiquiz.rnc --- a/RelaxNG/publiquiz.rnc jeu. juin 16 11:21:09 2016 +0200 +++ b/RelaxNG/publiquiz.rnc lun. juin 20 10:03:22 2016 +0200 @@ -382,17 +382,17 @@ blanks.list = element list { block.head?, ( (attribute type {"ordered"}?, blanks.item, blanks.item+) - | (attribute type {"glossary"}, glossary.item+) ) + | (attribute type {"glossary"}, item.glossary+) ) } blanks-m.list = element list { block.head?, ( (attribute type {"ordered"}?, blanks.item, blanks.item+) - | (attribute type {"glossary"}, glossary.item+) ) + | (attribute type {"glossary"}, item.glossary+) ) } pointing.list = element list { block.head?, ( (attribute type {"ordered"}?, pointing.item, pointing.item+) - | (attribute type {"glossary"}, glossary.item+) ) + | (attribute type {"glossary"}, item.glossary+) ) } # ~~~~~~ item