[isabelle-dev] afp-2014 fork

[Gerwin Klein]

On 18 Aug 2014, at 9:37 pm, Makarius <makarius at sketis.net> wrote:

> On Fri, 15 Aug 2014, Gerwin Klein wrote:
> 
>> AFP-2014 has now been forked off the development version.
>> 
>> Any commits going to the standard afp development repo won’t show up in the 2014 release, so it’s fine to track the Isabelle development repo for AFP again.
>> 
>> isatest should go back to testing afp against Isabelle tip. I’ll test upcoming Isabelle2014-RCx’s manually against the 2014 fork.
> 
> I now see "Added tag Isabelle2014 for changeset 600fb0bf56a2" on afp-devel.

That’s right, this is the fork point.

I’ll be checking that version with Isabelle2014-RC4 in the next few days (works fine with -RC3).

Cheers,
Gerwin