The Coq mailing list

[Hugo Herbelin <Hugo.Herbelin AT inria.fr>]

Hi,

On Mon, Sep 20, 2010 at 03:00:15PM -0400, Matthieu Sozeau wrote:
> The CHANGES file should give you the best picture, including
> highlights of incompatible changes.

Note that we also distribute in the 8.3 archive a file COMPATIBILITY
which lists the most common incompatibilities wrt 8.2 that broke in
some way or another the compilation of the user contributions of which
we host a copy (coq.inria.fr/contribs), and how to address them when
possible.

This particular one (Generalizable Variables) is actually not listed
(apparently because it is too new to occur often in our repository).

Hugo Herbelin