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