--- a/RelaxNG/publiquiz.rnc ven. oct. 19 18:19:27 2018 +0200
+++ b/RelaxNG/publiquiz.rnc dim. oct. 21 16:02:16 2018 +0200
@@ -434,11 +434,15 @@
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ dictation ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-dictation = element dictation { dictation.content }
+dictation = element dictation { dictation.attributes, dictation.content }
+
+dictation.attributes =
+ case_insensitive.attribute?
+case_insensitive.attribute = attribute case-insensitive { xsd:boolean }
dictation.content =
audio,
- dictation.block+
+ dictation.p
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ production ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
@@ -507,7 +511,6 @@
pointing.block = (
pointing.p | pointing.list | pointing.blockquote | pointing.speech
| pointing.table | media)
-dictation.block = dictation.p
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ p ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~