--- 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