[isabelle-dev] Towards the release
makarius at sketis.net
Mon Jun 4 15:26:03 CEST 2018
We are slowly moving towards the release.
Tomorrow, I will publish an informal snapshot Isabelle2018-RC0 on
Approx. 4 weeks later, there will be Isabelle2018-RC1, still on the
>From 8..15-Jul-2018 I will be at FLoC / Oxford, UK. Afterwards, there
will be the repository fork and Isabelle2018-RC2.
At least that is the plan right now. There are still many details to be
More information about the isabelle-dev