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.


        Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Reply via email to