Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] AFP 2021 preparations


view this post on Zulip Email Gateway (Jan 12 2021 at 23:39):

From: Gerwin Klein <kleing@unsw.edu.au>
Since we're already at Isabelle2021-RC2, it is time for the AFP to follow suit.

If you have any edits to add to the development version of the AFP before the AFP 2021 release, please add them by end of Fri 15 Jan (anywhere on Earth). If you need more time, please let me know.

After that, the AFP 2021 release will fork off the development version, and further commits will not be included in AFP 2021 by default.

Cheers,
Gerwin

view this post on Zulip Email Gateway (Jan 15 2021 at 10:24):

From: Gerwin Klein <kleing@unsw.edu.au>
After receiving some requests for more time, I have shifted the deadline for AFP changes to go into AFP 2021 to end of Wed, 20 Jan.

Cheers,
Gerwin

view this post on Zulip Email Gateway (Jan 24 2021 at 23:57):

From: Gerwin Klein <kleing@unsw.edu.au>
This AFP-2021 fork has now happened.

You can continue to commit to afp-devel as usual, the changes will not be reflected in afp-2021 but stay in the development version for the release after that. If there are any emergency changes that need to go into afp-2021, please let me know.

The AFP is also still open for Isabelle2020 submissions as usual until the release has happened. If you have a submission that works with Isabelle2021 already and don't mind waiting until the release is out, please submit after the release -- then we don't have to put in additional work to update it.

Cheers,
Gerwin

view this post on Zulip Email Gateway (Jan 25 2021 at 09:04):

From: Makarius <makarius@sketis.net>
Do you have a public URL for that?

I have tried https://foss.heptapod.net/isa-afp/afp-2021 but it requires login
credentials.

Makarius

view this post on Zulip Email Gateway (Jan 25 2021 at 21:50):

From: Gerwin Klein <kleing@unsw.edu.au>
Should now work, I had overlooked that the default visibility was "internal".

Cheers,
Gerwin


Last updated: Sep 25 2021 at 09:17 UTC