Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] State of the Isabelle2021-1 release process


view this post on Zulip Email Gateway (Nov 07 2021 at 19:44):

From: Makarius <makarius@sketis.net>
We are presently at Isabelle2021-1-RC2, which is still on the regular
isabelle-dev repository.

This will remain so until the end of the week (approx. 12-Nov-2021): then I
will fork the isabelle-dev vs. isabelle-release repository and make
Isabelle2021-1-RC3 available shortly afterwards.

So there are a few days remaining to consolidate everything on the
isabelle-dev repository --- for this release.

After the fork, further changes need to be exported and sent to me via e-mail
(and not pushed on the isabelle-dev repository anymore).

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:56):

From: Makarius <makarius@sketis.net>
I will do the repository fork today in the evening, approx. 17:00 GMT.

Makarius


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


Last updated: Jul 15 2022 at 23:21 UTC