[isabelle-dev] NEWS

Makarius makarius at sketis.net
Wed Dec 28 15:10:17 CET 2011

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).


More information about the isabelle-dev mailing list