[isabelle-dev] NEWS and INCOMPATIBILITY

Lawrence Paulson lp15 at cam.ac.uk
Thu Oct 2 18:41:57 CEST 2014

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


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):
> to
> 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.

More information about the isabelle-dev mailing list