[isabelle-dev] Post-release mode

Gerwin Klein Gerwin.Klein at nicta.com.au
Sat Feb 16 10:38:21 CET 2013

On 13.02.2013, at 11:33 PM, Florian Haftmann <florian.haftmann at informatik.tu-muenchen.de> wrote:
>> Isabelle/0a55ac5bdd92 is the merge point for the release branch from
>> https://bitbucket.org/isabelle_project/isabelle-release
>> Now the main Isabelle repository is again the main focus for working
>> towards the next release.
> what is the policy for AFP then at the moment?  Are changes which go
> beyond Isabelle2013 to be pushed to the sourceforge repository already?

Yes, that has been the case for about a week.



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