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 by testers. The repository fork to isabelle-release will happen after RC1. I am presently still stuck updating the Admin area. Are there any non-trivial chunks still in the commit/push pipeline that need special considerations? Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev