[isabelle-dev] NEWS and INCOMPATIBILITY
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
> 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