> Are there any non-trivial chunks still in the commit/push pipeline that
> need special considerations?
I have some matter on euclidean division in the pipeline which I hope to
be able to finish before my vacation starting at end of October.
Florian
--
PGP available:
After the public appearance of Isabelle2016-1-RC0 some days ago, we are
still in consolidation mode for the Isabelle repository -- lets say at
least 2 more weeks.
Isabelle2016-1-RC1 will still be based on the isabelle-dev repository,
to simplify immediate reactions on suggestions and observations