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. _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
