Re: [isabelle] Isabelle2016-RC0 - AFP and Library available for testing



> On 04.01.2016, at 08:32, Makarius <makarius at sketis.net> wrote:
>
> On Sun, 3 Jan 2016, Gerwin Klein wrote:
>
>> Weâll start updating to Isabelle2016-RC* and Iâll post an update when itâs pushed out.
>
> Great.
>
> Just note that between informal Isabelle2016-RC0 and formal Isabelle2016-RC1, a few incompatibilities may creep in, but it should be handable.  I guess that Isabelle2016-RC1 will be published in 2 weeks.

Thanks for the heads-up. Letâs see how it goes, usually the last tweaks are easy to adapt to.

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.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.