Re: api differences between 1.4 and 1.6

[Marius Vollmer]

Neil Jerram <address@hidden> writes:

> As a purely pragmatic approach, therefore, I'd like to progressively
> reduce the differences between 1.6.x and 1.8 documentation by
> backporting the changes that are equally applicable to 1.6.x.  A
> side effect of this will be that the 1.6.x documentation becomes
> more complete, even though my efforts will be (as they have been for
> some time) focussed on 1.8.

Sounds good to me!