equal
deleted
inserted
replaced
105 component.head = element head { component.head.content } |
105 component.head = element head { component.head.content } |
106 |
106 |
107 component.head.content = |
107 component.head.content = |
108 (title, shorttitle?, subtitle?)? |
108 (title, shorttitle?, subtitle?)? |
109 & contributors? |
109 & contributors? |
|
110 & date? |
|
111 & place? |
|
112 & keywordset? |
|
113 & subjectset? |
110 & abstract? |
114 & abstract? |
111 & annotation* |
115 & annotation* |
112 |
116 |
113 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ topic ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
117 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ topic ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
114 |
118 |