Re: Order of definitions in source-highlight 2.10

Lorenzo Bettini wrote:
> What about the other changes?
> Do you think they make sense?

It seems to work well.  If my understanding is correct, the end result
should be the same as it was with versions 2.9 and earlier (although the
implementation is now quite different).