equal
deleted
inserted
replaced
447 <element name="keyword"> |
447 <element name="keyword"> |
448 <ref name="keyword.content"/> |
448 <ref name="keyword.content"/> |
449 </element> |
449 </element> |
450 </define> |
450 </define> |
451 <define name="keyword.content"> |
451 <define name="keyword.content"> |
452 <text/> |
452 <mixed> |
|
453 <zeroOrMore> |
|
454 <ref name="sup"/> |
|
455 </zeroOrMore> |
|
456 <zeroOrMore> |
|
457 <ref name="sub"/> |
|
458 </zeroOrMore> |
|
459 </mixed> |
453 </define> |
460 </define> |
454 <!-- ~~~~~~ subjectset --> |
461 <!-- ~~~~~~ subjectset --> |
455 <define name="subjectset"> |
462 <define name="subjectset"> |
456 <element name="subjectset"> |
463 <element name="subjectset"> |
457 <ref name="subjectset.content"/> |
464 <ref name="subjectset.content"/> |