[isabelle-dev] Post-release mode
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
>> 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