On 26/06/18 20:05, Makarius wrote:
> 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.
This is also an opportunity to check that NEWS and CONTRIBUTORS are
reasonably complete. I will derive the ANNOUNCE file from it as usual:
it will appear on the website front-page eventually.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
