changeset 84 | 666cb4bd1342 |
parent 81 | a9276e7bcdf1 |
child 85 | deac30469ca6 |
83:84bc0274d13d | 84:666cb4bd1342 |
---|---|
4 include "publidoc.rnc" { |
4 include "publidoc.rnc" { |
5 start = publiquiz |
5 start = publiquiz |
6 |
6 |
7 document.content = |
7 document.content = |
8 top.head?, |
8 top.head?, |
9 (division | topic | quiz)+ |
|
10 |
|
11 division.content = |
|
12 division.head?, |
|
9 (division | topic | quiz)+ |
13 (division | topic | quiz)+ |
10 } |
14 } |
11 |
15 |
12 |
16 |
13 publiquiz = element publiquiz { |
17 publiquiz = element publiquiz { |