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