[isabelle-dev] Towards the release

[Makarius]

Important update of the situation:

Around 19:00 GMT 20-Jan-2016 the fork of isabelle-dev versus 
isabelle-release will happen (see 
(https://bitbucket.org/isabelle_project/isabelle-release)

There are a few hours left to push refinements and clarifications on the 
regular isabelle-dev repository.

Afterwards, changesets for the release need to be sent by mail to me.


In is important to keep in mind what goes where, i.e. what is meant for 
post-release development and what for polishing of Isabelle2016.


 	Makarius