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
>> https://bitbucket.org/isabelle_project/isabelle-release/commits/8bf3d0553c35
>>
>> 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.


	Makarius






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.