changement pip vers mip
authorCoraline MARKWITZ
mer., 02 déc. 2015 16:28:34 +0100
changeset 403 d129a5a5ab08
parent 402 de00a458739d (diff)
parent 401 39a1454aa364 (current diff)
child 404 f1ed1f966ce2
changement pip vers mip
RelaxNG/publiquiz.rnc
--- a/RelaxNG/publiquiz.rnc	mer. déc. 02 16:22:27 2015 +0100
+++ b/RelaxNG/publiquiz.rnc	mer. déc. 02 16:28:34 2015 +0100
@@ -136,7 +136,8 @@
    blanks-fill.attributes, blanks-fill.content }
 blanks-select = element blanks-select {
    blanks-select.attributes, blanks-select.content }
-blanks-char = element blanks-char { blanks-select.content }
+blanks-char = element blanks-char { 
+   blanks-char.attributes, blanks-select.content }
 
 blanks-fill.attributes =
    success.attribute?
@@ -157,6 +158,10 @@
    blanks.intruders?,
    (blanks.block+ | blanks.section+)
 
+blanks-char.attributes =
+   remove-space.attribute?
+remove-space.attribute = attribute remove-space { xsd:boolean }
+
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ pointing ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
 pointing = element pointing { pointing.attributes, pointing.content }
@@ -664,7 +669,7 @@
  & long.attribute?
  & function.attribute?
 area.attribute = attribute area { xsd:boolean }
-function.attribute = attribute function { 'lowercase' | 'uppercase' }
+function.attribute = attribute function { 'accent' | 'uppercase' }
 
 blank.content =
    text