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:
>> 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