[isabelle-dev] Towards the Isabelle2014 release

Gerwin Klein Gerwin.Klein at nicta.com.au
Thu Jul 3 22:41:52 CEST 2014

Good point. Tom, if you send me the text I will update the two files.


On 3 Jul 2014, at 10:30 pm, Makarius <makarius at sketis.net> wrote:

> On Thu, 3 Jul 2014, Gerwin Klein wrote:
>> Applied cleanly and is now pushed.
>> On 3 Jul 2014, at 9:55 am, Thomas Sewell <thomas.sewell at nicta.com.au> wrote:
>>> On 02/07/14 06:49, Gerwin Klein wrote:
>>>> http://isabelle.in.tum.de/testboard/Isabelle/rev/d765be00b181
> For the release we also need the canonical NEWS and CONTRIBUTORS entries.
> Since the change requires some tinkering on proofs, your experience to do so in Isabelle + AFP should be phrased as 1 or 2 sentences in NEWS, such that users have a chance to upgrade.
>       Makarius


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