[isabelle-dev] NEWS and INCOMPATIBILITY
florian.haftmann at informatik.tu-muenchen.de
Thu Oct 2 17:55:54 CEST 2014
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.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 181 bytes
Desc: OpenPGP digital signature
More information about the isabelle-dev