This is an update on the situation: after the informal Isabelle2016-RC0
and many additions and clarifications, we are moving towards the first
formal Isabelle2016-RC1.
This will happen in a few days on the main isabelle-dev repository,
without a fork yet. Thus it is easier to finish remaining details and
react on initial feedback by users testing that version.
A bit later next week, presumably after the Java 8 update of Oracle, there
will be the fork of isabelle-dev versus isabelle-release on Bitbucket.
In the coming days it is important to keep Isabelle + AFP in a clean
working state.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
