[isabelle-dev] NEWS

[Makarius]

On Wed, 28 Dec 2011, Jasmin Christian Blanchette wrote:

> Am 27.12.2011 um 13:03 schrieb Florian Haftmann:
>
>> There is a failure in Nitpick_Examples which is neither reproducible on
>> macbroy2 nor my local machine:
>> http://isabelle.in.tum.de/reports/Isabelle/report/14fe4e1bd31f4a9fab112f57669a1de5
>>
>> Maybe Jasmin can comment on this?
>
> Yes, but after New Year's.

Isabelle/493d9c4d7ed5 disables the kodkodi component for now, so there is 
a chance that the next isatest run works again (I have also addressed some 
other issues that have accumulated right before and after Christmas).


 	Makarius