On 12/11/2021 18:03, Makarius wrote: > Now is the critical moment: I will fork tag Isabelle2021-1-RC3 and fork the > isabelle-dev vs. isabelle-release repository. > > After current 2b212c8138a5, the isabelle-dev repository is in an "undefined" > state, until there is a follow-up mail announcing the post-release starting > point. > > If there are changes in the pipeline for Isabelle2021-1: please send them to > me via mail. > > If there are changes for post-release development, please await the > announcement for its re-opening.
Isabelle/4f1c1c7eb95f is the first changeset *after* the Isabelle2021-1 release history. In contrast, the release is finalized on https://isabelle.sketis.net/repos/isabelle-release --- anything for that should be sent via email to me and not pushed onto the isabelle-dev repository. We are now again in an unclear state concerning afp-devel: it is up to the AFP editors to do something about afp-2021-1. Makarius _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
