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

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 MHonArc.