equal
deleted
inserted
replaced
35 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ top.quiz ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
35 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ top.quiz ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
36 |
36 |
37 top.quiz = element quiz { top.quiz.attributes, top.quiz.content } |
37 top.quiz = element quiz { top.quiz.attributes, top.quiz.content } |
38 |
38 |
39 top.quiz.attributes = |
39 top.quiz.attributes = |
40 quiz.id.attribute |
40 quiz.id.attribute? |
41 & quiz.type.attribute? |
41 & quiz.type.attribute? |
42 & lang.attribute? |
42 & lang.attribute? |
43 quiz.id.attribute = attribute id { xsd:NMTOKEN } |
43 quiz.id.attribute = attribute id { xsd:NMTOKEN } |
44 quiz.type.attribute = attribute type { xsd:NCName } |
44 quiz.type.attribute = attribute type { xsd:NCName } |
45 |
45 |