[isabelle-dev] Towards the release
makarius at sketis.net
Thu Jan 14 15:44:37 CET 2016
This is an update on the situation: after the informal Isabelle2016-RC0
and many additions and clarifications, we are moving towards the first
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
More information about the isabelle-dev