Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Isabelle2021 release process


view this post on Zulip Email Gateway (Dec 27 2020 at 19:23):

From: Makarius <makarius@sketis.net>
We are in an early stage of the official Isabelle2021 release process.

The blog https://isabelle-dev.sketis.net/phame/blog/view/2 and the workboard
https://isabelle-dev.sketis.net/project/board/4 provide a clue where we are.

Presently, the repository is still open for commits for that branch, at least
until the end of the Christmas season (10-Jan-2021).

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 (Jan 08 2021 at 13:11):

From: Makarius <makarius@sketis.net>
Are we ready to conclude?

I am considering to produce Isabelle2021-RC2 on Sunday 10-Jan-2021, and fork
the isabelle-dev vs. isabelle-release repositories. Afterwards any changes for
the release need to be sent via email to me.

The timing depends also depends on AFP: is everything ready over there?

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 (Jan 08 2021 at 15:10):

From: Manuel Eberl <eberlm@in.tum.de>
I have a small amount of material for HOL-Data_Structures and for
Algebraic_numbers in the AFP. Will put that in in the next day or two.

Manuel
smime.p7s

view this post on Zulip Email Gateway (Jan 08 2021 at 15:11):

From: Makarius <makarius@sketis.net>
OK, just tell me when you are finished.

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 (Jan 09 2021 at 09:06):

From: Manuel Eberl <eberlm@in.tum.de>
Done.
smime.p7s

view this post on Zulip Email Gateway (Jan 10 2021 at 11:32):

From: Makarius <makarius@sketis.net>
On 08/01/2021 14:11, Makarius wrote:

On 27/12/2020 20:23, Makarius wrote:

We are in an early stage of the official Isabelle2021 release process.

The blog https://isabelle-dev.sketis.net/phame/blog/view/2 and the workboard
https://isabelle-dev.sketis.net/project/board/4 provide a clue where we are.

Presently, the repository is still open for commits for that branch, at least
until the end of the Christmas season (10-Jan-2021).

Are we ready to conclude?

I am considering to produce Isabelle2021-RC2 on Sunday 10-Jan-2021, and fork
the isabelle-dev vs. isabelle-release repositories. Afterwards any changes for
the release need to be sent via email to me.

It looks like we are ready. I will make the release fork later today, within
approx. 4h.

The timing depends also depends on AFP: is everything ready over there?

What is the situation of AFP?

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 (Jan 10 2021 at 15:36):

From: Makarius <makarius@sketis.net>
The post-release point is now
https://isabelle.sketis.net/repos/isabelle/rev/1105c42722dc

This means that everything pushed onto the isabelle-dev repository is for the
release after Isabelle2021.

If anybody has changes for Isabelle2021, they need to be sent to me privately
(results of "hg export" or "hg bundle").

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 (Jan 12 2021 at 08:10):

From: Gerwin Klein <kleing@unsw.edu.au>
Way behind the curve. I'm slowly trying to catch up after the summer break here, haven't even really gotten to test the release candidate yet.

I'm not aware of any bigger projects pending for the AFP, but there are a few entries in the pipeline that we should process before we fork the release. I'll send around the usual email with a deadline for Friday, which will probably spark a few more commits.

Cheers,
Gerwin


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