Email Gateway (Aug 22 2022 at 14:25): Email Gateway (Aug 22 2022 at 14:25):From: Christian Sternagel <c.sternagel@gmail.com>
Dear all,
this is just to give a sign of life from IsaFoR ;)
Unfortunately, we did not have time to start porting IsaFoR until now.
We will start to do so this week and call out in case of any problems.
Is there any advice on which version of the AFP such an update should be
based on. Just use the latest development version? Or will there be a
clone of the AFP corresponding to RC3?
cheers
chris
Email Gateway (Aug 22 2022 at 14:25):From: Makarius <makarius@sketis.net>
On 22/11/16 12:13, Christian Sternagel wrote:
Is there any advice on which version of the AFP such an update should be
based on. Just use the latest development version? Or will there be a
clone of the AFP corresponding to RC3?
Presently, the afp-devel line follows the Isabelle2016-1-RC line. An
example repository pair is this:
On 11/22/2016 10:36 AM, Makarius wrote:
The corresponding repository versions of Isabelle and AFP are
https://bitbucket.org/isabelle_project/isabelle-release/commits/8bf3d0553c35and https://bitbucket.org/isa-afp/afp-devel/commits/1a3901597f0f
The AFP editors need to say more about their schedule. At some point
there should be also a fork of afp-devel to become official afp-2016-1.
Makarius
Last updated: Nov 21 2024 at 12:39 UTC