[isabelle-dev] afp-2014 fork

Gerwin Klein Gerwin.Klein at nicta.com.au
Fri Aug 15 12:47:50 CEST 2014

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.



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.

More information about the isabelle-dev mailing list