This is a reminder that the official Isabelle2018-RC1 snapshot is about to emerge within a few days (around 01-Jul-2018). The isabelle-dev repository fork will *not* happen yet: everyone is called to consolidate before and after the Isabelle2018-RC1 checkpoint with robustness and stability in mind. Makarius