On 21.01.2013, at 2:08 AM, Makarius <makar...@sketis.net> wrote: > * AFP needs to be understood wrt. isabelle-release. > > Gerwin will explain his organization of the AFP release for > Isabelle2013, based on the afp-devel repository.
I'll attempt to make the AFP release semi-simultaneous with the Isabelle release this time. This means, afp-test will point to the Isabelle release candidate by Fri morning SYD time (Thu night CET). At the same time (Thu night CET), the afp release branch will fork in afp-devel. Any commits after will not be visible in the 2013 AFP release unless you specifically send them to me by email. If there are any updates/cleanups/last minute changes yet to be done for any of the entries, please have them in by then. 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
