Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Isabelle2021-1 release fork


view this post on Zulip Email Gateway (Nov 13 2021 at 11:11):

From: Makarius <makarius@sketis.net>
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.

Makarius


isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

view this post on Zulip Email Gateway (Nov 13 2021 at 11:19):

From: Makarius <makarius@sketis.net>
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
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev


Last updated: Mar 04 2024 at 10:08 UTC