[isabelle-dev] Towards the Isabelle2014 release

Makarius makarius at sketis.net
Tue Jul 1 16:41:05 CEST 2014

Isabelle/ecad2a53755a has a first round of updates of the important files 
for the "Release notes", notably NEWS, CONTRIBUTORS, ANNOUNCE.

Now is a good time to check that it is all up-to-date.

As usual the ANNOUNCE file is an extract of the NEWS, but importants 
things might be still missing.  Please provide your input.


More information about the isabelle-dev mailing list