[isabelle-dev] Post-release mode

[Gerwin Klein]

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.

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.