We are now past the fork point for the Isabelle2017 release.
Here is a summary of the status of the Isabelle development process:
* https://bitbucket.org/isabelle_project/isabelle-release/ is where
the final release preparations happen before roll-out in a few
weeks.
The
On 08/09/17 11:13, Makarius wrote:
> The all-important release fork will happen today in the evening.
That is now!
Within the next hour there should not be any pushes to
http://isabelle.in.tum.de/repos/isabelle in order to avoid confusion
about the two branches.
I will come back a bit later
On 03/09/17 12:06, Makarius wrote:
>
> The isabelle-dev repository remains open for 3 more days. Afterwards it
> forks to https://bitbucket.org/isabelle_project/isabelle-release and
> further changes (really important ones!) need to be sent to me via email.
There were some delays, but we are now
