[isabelle] Isabelle2019-RC0 available for experimentation

Dear Isabelle users,

the release cycle for Isabelle2019 will officially start in approx. one
month. An informal snapshot Isabelle2019-RC0 for experimentation is
already available here: https://isabelle.in.tum.de/website-Isabelle2019-RC0

I have already updated the website content, including ANNOUNCE and NEWS,
but a few things will still change. Some documentation also needs to

The blog entry
https://sketis.net/2019/release-candidates-for-isabelle2019 is
dynamically updated to follow the release process.

In the past few years, we have routinely seen very odd non-causalities:
people looking at the release only after its final publication. But
final really means final (i.e. immutable, without further changes), and
problem reports that come too late need to wait 8-10 month for the next

When discussing observations about release candidates, please provide a
Subject: line that fits to the content, not just a clone of the


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.