Email Gateway (Aug 23 2022 at 08:44): 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
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
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: Nov 21 2024 at 12:39 UTC