# HG changeset patch # User Coraline MARKWITZ # Date 1449070114 -3600 # Node ID d129a5a5ab082cc5cd7c9580fb611bc37078eb4f # Parent de00a458739de5a7c25785ec5027a4e03decec42# Parent 39a1454aa364c378a9ffabf87783896ec4bd24fd changement pip vers mip diff -r 39a1454aa364 -r d129a5a5ab08 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