Dear all,
the release is alreay in place, but before announcing it officially the
Sydney mirror needs another round of updating, which will probably happen
around midnight GMT. This gives another chance to sport drop-outs on the
website.
The main Isabelle repository is already in post-release mode: I have
merged the release branch in Isabelle/d78ec6c10fa1.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
