[isabelle-dev] Towards the release
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