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. Cheers, Gerwin ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments. _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
