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.haftm...@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. _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev