RelaxNG/publiquiz.rnc
changeset 150 73972df488d2
parent 148 4ca6060892f0
child 151 69782399eb50
--- a/RelaxNG/publiquiz.rnc	dim. déc. 02 23:21:40 2012 +0100
+++ b/RelaxNG/publiquiz.rnc	mar. déc. 18 22:23:21 2012 +0100
@@ -342,7 +342,7 @@
 
 choices.right.content =
    inlines
- | p+
+ | (p+, help?, answer?)
 
 
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ blanks.wrongs ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
@@ -358,7 +358,7 @@
 
 blanks.wrong.content = text
 
-# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ match ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ match ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
 match = element match { match.content }