[isabelle-dev] Release Candidates for Isabelle2023

[Makarius]

This is a reminder that we are approaching the release process for Isabelle2023.

For details, see 
https://isabelle-dev.sketis.net/phame/post/view/68/release_candidates_for_isabelle2023

In particular, Isabelle2023-RC1 is planned for 11-Jul-2023 --- as usual the 
repository fork will happen a bit later, approx. for Isabelle2023-RC2/RC3.


There are approx. 10 days left to wrap up the things that are important for 
the release, and put things that are not important into a state where they 
don't get into the way.


	Makarius