[isabelle-dev] afp-2014 fork

Gerwin Klein gerwin.klein at nicta.com.au
Tue Aug 19 12:06:47 CEST 2014

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


More information about the isabelle-dev mailing list