[isabelle-dev] Towards the release
makarius at sketis.net
Wed Jan 20 19:12:51 CET 2016
On Wed, 20 Jan 2016, Makarius wrote:
> 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.
The fork will happen in 50min. The last changeset that I see is:
date: Wed Jan 20 18:04:41 2016 +0100
fixed NEWS w.r.t. multisets
If there is anything else, please tell me via email just in time, that we
avoid race conditions on the two repositories.
More information about the isabelle-dev