[isabelle-dev] NEWS

[Makarius]

Good to see updates on NEWS and CONTRIBUTORS coming in.  I've forgotten to 
say it: now before the release is the season to update these two files 
with the results of the various projects from the past few months.

NEWS has the title "history user-relevant changes", so it is not just bad 
news about incompatibilities, also good new about anything that is 
relevant to users.  So it is in fact the last proof that certain changes 
were worth doing in the first place.


 	Makarius