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