[isabelle-dev] Towards the release

Makarius makarius at sketis.net
Wed Jan 20 13:49:44 CET 2016

Important update of the situation:

Around 19:00 GMT 20-Jan-2016 the fork of isabelle-dev versus 
isabelle-release will happen (see 

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.


More information about the isabelle-dev mailing list