equal
deleted
inserted
replaced
81 |
81 |
82 </documentation> |
82 </documentation> |
83 <appinfo> |
83 <appinfo> |
84 <meta.attribute kind="resource"/> |
84 <meta.attribute kind="resource"/> |
85 </appinfo> |
85 </appinfo> |
86 </annotation> |
|
87 </attribute> |
|
88 <attribute name="id-pattern" type="string"> |
|
89 <annotation> |
|
90 <documentation> |
|
91 |
|
92 </documentation> |
|
93 </annotation> |
86 </annotation> |
94 </attribute> |
87 </attribute> |
95 <attribute name="default-html-name" type="string"> |
88 <attribute name="default-html-name" type="string"> |
96 <annotation> |
89 <annotation> |
97 <documentation> |
90 <documentation> |