[isabelle-dev] Towards Isabelle2018-RC1

Makarius makarius at sketis.net
Tue Jun 26 20:05:55 CEST 2018

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.


More information about the isabelle-dev mailing list