[isabelle-dev] Towards the Isabelle2017 release

Makarius makarius at sketis.net
Fri Sep 8 11:13:54 CEST 2017

On 03/09/17 12:06, Makarius wrote:
> The isabelle-dev repository remains open for 3 more days. Afterwards it
> forks to https://bitbucket.org/isabelle_project/isabelle-release and
> further changes (really important ones!) need to be sent to me via email.

There were some delays, but we are now ready. The all-important release
fork will happen today in the evening.

This is the last chance for small amendments directly on the repository.
Afterwards any further changes (important ones) need to be sent to me
via email.


More information about the isabelle-dev mailing list