Ingo Mittendorf wrote:
> This works fine with changes to attribute declarations, but when I
> give slightly different declarations for the same element in both
> the basic and the modifications DTDs, the editor/parser takes
> I get an error message "Element XYZ already defined".
By design. You're not allowed to redefine element types. See section 3.2
of the XML spec.
> Another thing that puzzled me was that the editor/parser takes
> offence at the element declaration in the *internal* DTD (it opens
> the TEI.extensions file and highlights the element in question),
> when, at least, I would have expected that it would take offence
> at the *external* element declaration (which is read after the
> internal DTD, isn't it).
I'm not sure why this is. You're correct that the internal DTD is
supposed to be read first.