Current Isabelle/9ca00b65d36c and AFP/2c322507b8a6 appears to be a fairly stable state, so I will take this as starting point for Isabelle2016-RC1 later today. The main isabelle-dev remains open a few more days for fine-tuning and consolidation. Makarius