Re: [isabelle] Isabelle2016-1-RC3 available for testing: updating AFP-based IsaFoR development
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
>> and 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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and