# HG changeset patch # User Patrick PIERRE # Date 1414429293 -3600 # Node ID baeef555fae8f40346625e0a4f3ec932d0610acf # Parent 33b213ccb3852272b652bc8a05de47b35f732c41 Simplification diff -r 33b213ccb385 -r baeef555fae8 RelaxNG/publiquiz.rnc --- a/RelaxNG/publiquiz.rnc lun. oct. 27 17:47:15 2014 +0100 +++ b/RelaxNG/publiquiz.rnc lun. oct. 27 18:01:33 2014 +0100 @@ -238,7 +238,7 @@ multiple.attribute? categories.content = - category.intruders?, + categories.intruders?, category, category+ @@ -511,7 +511,6 @@ # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ blanks.intruders ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -# ~~~~~~ blanks.intruders blanks.intruders = element intruders { blanks.intruders.content } blanks.intruders.content = @@ -543,12 +542,12 @@ inlines | (p, help?, answer?) -# ~~~~~~~~~~~~~~~~~~~~~ category.intruders, category.item ~~~~~~~~~~~~~~~~~~~~~ +# ~~~~~~~~~~~~~~~~~~~~~ categories.intruders, category.item ~~~~~~~~~~~~~~~~~~~ -# ~~~~~~ category.intruders -category.intruders = element intruders { category.intruders.content } +# ~~~~~~ categories.intruders +categories.intruders = element intruders { categories.intruders.content } -category.intruders.content = +categories.intruders.content = category.item+ # ~~~~~~ category.item