# HG changeset patch # User Coraline MARKWITZ # Date 1466409802 -7200 # Node ID 4840aea082dd6aae07b8c9c290350de14ba308b7 # Parent bd989e2633f7bef77cd4c8a65e4114bcd1373710 renommage glossary.item en item.glossary 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