Re: [isabelle] Isabelle2015-RC1 available for testing
Thanks for posting that, very good to have these checkpoints.
I will try this time to fork the AFP at roughly the same time as the main Isabelle repository. After the fork afp-devel will continue to track isabelle-devel, and afp-2015 will track Isabelle2015 release candidates.
If anyone has last-minute maintenance changes to the AFP that should go into the AFP 2015 release, please let me know.
> On 17 Apr 2015, at 10:05 pm, Makarius <makarius at sketis.net> wrote:
> On Fri, 17 Apr 2015, Makarius wrote:
>> Isabelle2015-RC1 is now available here:
> Version a44a0c9e17ef of the AFP development repository https://sourceforge.net/p/afp/code is known to work with the above.
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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and