[isabelle-dev] AFP 2013-1 release branch

[Gerwin Klein]

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.

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.