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