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:
changeset: 62209:009c6e0b44bb
tag: tip
user: blanchet
date: Wed Jan 20 18:04:41 2016 +0100
files: NEWS
description:
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.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
