On 18 Aug 2014, at 9:37 pm, Makarius <makar...@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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev