[isabelle-dev] AFP 2013-1 release branch

Gerwin Klein Gerwin.Klein at nicta.com.au
Sun Oct 27 12:38:12 CET 2013

Following the Isabelle release candidates, the AFP now also has a separate release branch for 2013-1.

Commits to devel will go into the normal development version and not show up in this release branch. Basically, business can continue as usual for Isabelle developers.

mira is testing afp-devel against isabelle-devel.
isatest is testing afp-2013-1 against Isabelle2013-1-RC2.

If there are further changesets that need to go into afp-2013-1, please email me.



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