RE: <div> in <include>

You are saying that they are not equal in grammar and include instances, but
they are still conceptually the same thing. Can you shed more light on what
you mean?

Thanks,

Mike


KAWAGUCHI Kohsuke wrote:
><div>s inside a <grammar> element and <div>s inside a <include> element
>is not equal, for example because the former is allowed to have a <start>
>element where the latter isn't.

KAWAGUCHI Kohsuke also wrote:
>I think they are conceptually the same thing, so I want them to have the
>same name.