[isabelle-dev] Towards the release

Makarius 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 
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.


More information about the isabelle-dev mailing list