[isabelle-dev] NEWS and INCOMPATIBILITY

[Lawrence Paulson]

I can’t think of any reason to avoid correcting errors of any sort in the NEWS file.

Larry

On 2 Oct 2014, at 16:55, Florian Haftmann <florian.haftmann at informatik.tu-muenchen.de> wrote:

> We have a tradition not to change NEWS after release, but maybe we
> should break this rule and consolidate the following accidents (3 times
> only):
> 
> INCOMPATBILITY
> INCOMPATIBILTY
> 
> to
> 
> INCOMPATIBILITY
> 
> This might seem ridiculous in the first instance, but when using
> andeditor with a context-sensitive completion facility there is some
> chance that these accidents get perpetuated.