[isabelle-dev] NEWS

Makarius makarius at sketis.net
Wed Nov 21 11:38:43 CET 2012

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.


More information about the isabelle-dev mailing list