Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] AFP fork for the next release


view this post on Zulip Email Gateway (Aug 23 2022 at 08:44):

From: "Klein, Gerwin (Data61, Kensington NSW)" <Gerwin.Klein@data61.csiro.au>
Since the Isabelle repository has forked for the Isabelle2020 release this week, the AFP is following suit as usual.

AFP-2020 is now forked on bitbucket for Isabelle2020-RC2+, and afp-devel continues to refer to the isabelle development version.

If anyone has changes that are important to include in AFP-2020, please commit these to afp-devel and let me know by email before Fri, 27 Mar 2020.

Current AFP submission should still use Isabelle2019. Submissions that work with both versions or need only small changes for Isabelle2020 are appreciated by your editors :-)

Cheers,
Gerwin

view this post on Zulip Email Gateway (Aug 23 2022 at 08:44):

From: Bertram Felgenhauer via Cl-isabelle-users <cl-isabelle-users@lists.cam.ac.uk>
Klein, Gerwin (Data61, Kensington NSW) wrote:

AFP-2020 is now forked on bitbucket

This worries me a bit. Where is the AFP going to be hosted from June,
when Bitbucket is going to delete all Mercurial repositories[1]?

Cheers,

Bertram

[1] https://bitbucket.org/blog/sunsetting-mercurial-support-in-bitbucket

view this post on Zulip Email Gateway (Aug 23 2022 at 08:44):

From: "Klein, Gerwin (Data61, Kensington NSW)" <Gerwin.Klein@data61.csiro.au>
We’re aware of the problem and are discussing solutions. The AFP will definitely remain available and likely switch to whatever we decide some time in May.

Cheers,
Gerwin


Last updated: Mar 28 2024 at 16:17 UTC